Remove ANY

[IoannisP-ITENG]

Feature Request

ANY seems like a (not working) fix for a problem that needs to be solved in a different way.

One of the main issues why it needs to go asap:

X1 = ANY
X2 = ANY
X3 = X1/X2

X3 == ANY
X2.merge(Constant(5)) # <- through picking
X1.merge(Constant(2)) # <- through picking
X3 == ANY but should be 2/5
X3.merge(Constant(1)) # this should not be ok, but it works

Code of Conduct

• I agree to follow this project's Code of Conduct