{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"//"}]}
        // create more universes.
        // at once, rather than calling `instantiate_value` repeatedly which may
        output_query_region_constraints.assumptions.extend(