pub fn flip(x: i32) -> i32
Sentinel encoding used by the quotient graph: flip(x) = -2 - x. Used to mark absorbed elements (pe[e] < 0 ⇒ flip(parent)) and as a tag on elen for freshly eliminated zero-degree variables.
flip(x) = -2 - x
pe[e] < 0
flip(parent)
elen