Replaced True and false as pure formulas in tseitin
Fix in doc