{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"obligation.predicate.kind().no_bound_vars()"}]}
                obligation.predicate.kind().no_bound_vars()
                // They will have no bound variables.
            })