{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"Some(goals)"}]}
            Some(goals) => {
        match self.well_formed_goals(goal.param_env, goal.predicate) {
                self.add_goals(GoalSource::Misc, goals);