Do you also think that the `Integer` in test cases,  for example, one in  `assert diop_solve(48*x*y) == set([(Integer(0), t), (t, Integer(0))])` shouls also be removed?