{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
                // uplifting its nested goals. This is the case if the `shallow_certainty` is
                // need to recompute the `NormalizesTo` goal afterwards to avoid repeatedly
                // `Certainty::Yes`.