1 Var Declarations
    x : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals

1 Objective Declarations
    o : Size=1, Index=None, Active=True
        Key  : Active : Sense    : Expression
        None :   True : minimize : x - 4*s.y + 2*s.s.z

2 Constraint Declarations
    c1 : Size=1, Index=None, Active=True
        Key  : Lower : Body      : Upper : Active
        None :  -Inf : - x - s.y :  -3.0 :   True
    c2 : Size=1, Index=None, Active=True
        Key  : Lower : Body         : Upper : Active
        None : -10.0 : -3*x + 2*s.y :  +Inf :   True

1 SubModel Declarations
    s : Size=1, Index=None, Active=True
        1 Var Declarations
            y : Size=1, Index=None
                Key  : Lower : Value : Upper : Fixed : Stale : Domain
                None :  None :  None :  None : False :  True :  Reals

        1 Objective Declarations
            o : Size=1, Index=None, Active=True
                Key  : Active : Sense    : Expression
                None :   True : minimize : x + s.y - s.s.z

        2 Constraint Declarations
            c1 : Size=1, Index=None, Active=True
                Key  : Lower : Body                 : Upper : Active
                None :  -Inf : -2*x + s.y - 2*s.s.z :  -1.0 :   True
            c2 : Size=1, Index=None, Active=True
                Key  : Lower : Body                : Upper : Active
                None :  -Inf : 2*x + s.y + 4*s.s.z :  14.0 :   True

        1 SubModel Declarations
            s : Size=1, Index=None, Active=True
                1 Var Declarations
                    z : Size=1, Index=None
                        Key  : Lower : Value : Upper : Fixed : Stale : Domain
                        None :  None :  None :  None : False :  True :  Reals

                1 Objective Declarations
                    o : Size=1, Index=None, Active=True
                        Key  : Active : Sense    : Expression
                        None :   True : minimize : x - 2*s.y - 2*s.s.z

                1 Constraint Declarations
                    c : Size=1, Index=None, Active=True
                        Key  : Lower : Body              : Upper : Active
                        None :  -Inf : 2*x - s.y - s.s.z :   2.0 :   True

                3 Declarations: z o c

        5 Declarations: y s o c1 c2

5 Declarations: x s o c1 c2
