{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"response.value.var_values.is_identity_modulo_regions()"}]}
    response.value.var_values.is_identity_modulo_regions()
    } = *response.value.external_constraints;
        && opaque_types.is_empty()