{"ast_node_type":"import","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
                // because we expect the `unconstrained_rhs` part of the predicate
                // looking at the "has changed" return from evaluate_goal,
                // to have changed -- that means we actually normalized successfully!