Numeric(left: Expression, cmp: CompareOp, right: Expression)
Numeric proposition. The semantics of this proposition are not strictly defined. However, usually each state maps to a certain point/area in a cartesian space. In this case, the proposition outlines an area of valid states.