{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // ambiguous goals. Instead, a probe needs to be introduced somewhere in the
    // since subsequent calls to `try_evaluate_added_goals` have possibly dropped
    // evaluation code.