Added Tseitin Transformation