{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"self.add_goal("}]}
            self.add_goal(
            let term = self.next_term_infer_of_kind(lhs);
                GoalSource::TypeRelating,