Add test coverage for expr2dimacssat