{"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // It's `Certainty::AMBIGUOUS` because this candidate is not "finished",
        // a candidate, even if `try_evaluate_added_goals` bails due to an error.
        // since equating the normalized terms will lead to additional constraints.