Dimacs output has no comments by default
Simplification of lift code
Simplification of lift code
Comments are back in lifted formulas