{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"assert!(normalization_nested_goals.is_empty());"}]}
        assert!(normalization_nested_goals.is_empty());
            self.evaluate_goal_raw(goal_evaluation_kind, source, goal, stalled_on)?;
        Ok(goal_evaluation)