{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"error.obligation.predicate,"}]}
                                error.obligation.predicate,
                                 not satisfied",
                            ));