Get rid of some old Python 2/3 test diffs
Add some tests for expr function
Add test coverage for expr2dimacssat