fix tseitin off-by-one bug