Add support for Tseitin encoding