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

    3 Constraint Declarations
        c : Size=1, Index=None, Active=True
            Key  : Lower : Body                   : Upper : Active
            None :   0.0 : x1 + 2*x2 - (1 - 3*x3) :  +Inf :   True
        ccon : Size=1, Index=None, Active=True
            Key  : Lower : Body                          : Upper      : Active
            None :  -Inf : (x1 + 2*x2 - (1 - 3*x3))*cc.v : 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

    4 Declarations: c v ve ccon
