{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
                    // returned by `self.try_evaluate_added_goals()`.
                    // As we return all ambiguous nested goals, we can ignore the certainty
                    if goals.is_empty() {