Updated Tseitin Transformation
Updated Tseitin Transformation