Added tseitin cnf conversion