As I commented,
> ```Integral(x/2, (x, 0, 2)) = 1```. Therefore result should be ```(ℤ, [1])```.

If we have simplified the terms like Integrals at first glance, it would be easier to the function in deciding the domain. That's why this **Horrible things**