4 Var Declarations
    x1 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    x2 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    x3 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    y : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals

1 Constraint Declarations
    c : Size=1, Index=None, Active=True
        Key  : Lower : Body        : Upper : Active
        None :  -Inf : x2 - y - x3 :   0.0 :   True

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

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

        5 Declarations: bv c bc v e

6 Declarations: y x1 x2 x3 c cc
