{"ast_node_type":"function","tokens":[{"end":86,"kind":"keyword","start":0,"text":"fn"}]}
    fn compute_well_formed_goal(&mut self, goal: Goal<I, I::Term>) -> QueryResult<I> {
    #[instrument(level = "trace", skip(self))]
        match self.well_formed_goals(goal.param_env, goal.predicate) {