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 Block Declarations
    cc : Size=3, Index={1, 2, 3}, Active=True
        Key : Arg0   : Arg1             : Active
          1 : y + x3 : x1 + 2*x2  ==  0 :   True
          2 : y + x3 : x1 + 2*x2  ==  1 :   True
          3 : y + x3 : x1 + 2*x2  ==  2 :   True
        cc[1] : Active=True
            1 Constraint Declarations
                c : Size=1, Index=None, Active=True
                    Key  : Lower : Body      : Upper : Active
                    None :   0.0 : x1 + 2*x2 :   0.0 :   True

            1 Declarations: c
        cc[2] : Active=True
            1 Constraint Declarations
                c : Size=1, Index=None, Active=True
                    Key  : Lower : Body      : Upper : Active
                    None :   1.0 : x1 + 2*x2 :   1.0 :   True

            1 Declarations: c
        cc[3] : Active=True
            1 Constraint Declarations
                c : Size=1, Index=None, Active=True
                    Key  : Lower : Body      : Upper : Active
                    None :   2.0 : x1 + 2*x2 :   2.0 :   True

            1 Declarations: c

5 Declarations: y x1 x2 x3 cc
