{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
/// normalizing projections to avoid hitting the recursion limit by creating
/// variables to the variable with the least variable id. It is used when
/// many versions of a predicate for types that in the end have to unify.