tseitin now works with booleans