{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
                    if goals.is_empty() {
                    // returned by `self.try_evaluate_added_goals()`.
                        assert!(matches!(goals_certainty, Certainty::Yes));