pub type Lit = u32;
A node and whether the edge to it is complemented: node << 1 | complemented.
node << 1 | complemented