cc : Size=1, Index=None, Active=True
    Key  : Arg0                     : Arg1 : Active
    None : 2.0  <=  y + x1  <=  3.0 :   x1 :   True
    1 Var Declarations
        v : Size=1, Index=None
            Key  : Lower : Value : Upper : Fixed : Stale : Domain
            None :   2.0 :  None :   3.0 : False :  True :  Reals

    4 Constraint Declarations
        c : Size=1, Index=None, Active=True
            Key  : Lower : Body : Upper : Active
            None :  -Inf :   x1 :  +Inf :   True
        ccon_l : Size=1, Index=None, Active=True
            Key  : Lower : Body                 : Upper      : Active
            None :  -Inf : ( -2.0 + cc.v ) * x1 : mpec_bound :   True
        ccon_u : Size=1, Index=None, Active=True
            Key  : Lower : Body                 : Upper      : Active
            None :  -Inf : ( -3.0 + cc.v ) * x1 : mpec_bound :   True
        ve : Size=1, Index=None, Active=True
            Key  : Lower : Body          : Upper : Active
            None :   0.0 : cc.v - y - x1 :   0.0 :   True

    5 Declarations: c v ve ccon_l ccon_u
