{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
                // looking at the "has changed" return from evaluate_goal,
                // We only look at the `projection_ty` part here rather than
                // because we expect the `unconstrained_rhs` part of the predicate