cc : Size=1, Index=None, Active=True
    Key  : Arg0              : Arg1            : Active
    None : x2 - x3  <=  -1.0 : 0.0  <=  y + x2 :   True
