cc : Size=1, Index=None, Active=True
    Key  : Arg0            : Arg1              : Active
    None : 0.0  <=  y + x2 : x2 - x3  <=  -1.0 :   True
    1 Var Declarations
        v : Size=1, Index=None, Domain=Reals
            Key  : Lower : Value : Upper : Fixed : Stale
            None :     0 :  None :  None : False :  True

    2 Constraint Declarations
        c : Size=1, Index=None, Active=True
            Key  : Lower : Body       : Upper : Active
            None :   1.0 :  - x2 + x3 :  +Inf :   True
        ve : Size=1, Index=None, Active=True
            Key  : Lower : Body          : Upper : Active
            None :   0.0 : cc.v - y - x2 :   0.0 :   True

    3 Declarations: c v ve
