{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"//"}]}
                //
                // returned term is a rigid alias, resulting in overflow.
                // It is correct as both `goal.predicate.term` and `unconstrained_rhs`