Now that ProB supports reals, an expression like x>y is no longer sufficient to infer that x and y are integers.
