Tseitin transformation a debugguer