The validator already works. If we define a state with something like x1>=4, x1>=2, x1 in [3,5]; the parser takes the minimun value for the limit