Bools in tseitin - removed changes