Inequalities are left as is (not transformed to 0 if < 0).
Uncommented serialization test, it passes. All tests pass.