Match Tseitin vertices and charges

Otherwise in a 2d grid and 'first' charge model the node with charge 1 does not necessarily have degree 2.