Add unit tests for Tseitin CNF conversion and implement missing `equals`
method for `Sym`.