{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
            // parent predicates would hold, and also so that the param-env
            // both to ensure that the RPITITs are only instantiated when the
            // inherits these predicates as assumptions.