Fix for tseitin cnf conversion