{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"&self,"}]}
        &self,
    fn evaluate_root_goal(
        goal: Goal<Self::Interner, <Self::Interner as Interner>::Predicate>,