PolyLib backend: clean up simplification of constraints in cloog_equal_add