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

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

    3 Declarations: c v ve
