cc : Size=1, Index=None, Active=True
    Key  : Arg0          : Arg1            : Active
    None : 0  <=  y + x3 : -1  <=  x1 + x2 :   True
    2 Disjunct Declarations
        expr1 : Size=1, Index=None, Active=True
            1 Var Declarations
                binary_indicator_var : Size=1, Index=None
                    Key  : Lower : Value : Upper : Fixed : Stale : Domain
                    None :     0 :  None :     1 : False :  True : Binary

            2 Constraint Declarations
                c0 : Size=1, Index=None, Active=True
                    Key  : Lower : Body   : Upper : Active
                    None :   0.0 : y + x3 :  +Inf :   True
                c1 : Size=1, Index=None, Active=True
                    Key  : Lower : Body        : Upper : Active
                    None :   0.0 : x1 + x2 + 1 :   0.0 :   True

            1 BooleanVar Declarations
                indicator_var : Size=1, Index=None
                    Key  : Value : Fixed : Stale
                    None :  None : False :  True

            4 Declarations: indicator_var binary_indicator_var c0 c1
        expr2 : Size=1, Index=None, Active=True
            1 Var Declarations
                binary_indicator_var : Size=1, Index=None
                    Key  : Lower : Value : Upper : Fixed : Stale : Domain
                    None :     0 :  None :     1 : False :  True : Binary

            2 Constraint Declarations
                c0 : Size=1, Index=None, Active=True
                    Key  : Lower : Body   : Upper : Active
                    None :   0.0 : y + x3 :   0.0 :   True
                c1 : Size=1, Index=None, Active=True
                    Key  : Lower : Body        : Upper : Active
                    None :   0.0 : x1 + x2 + 1 :  +Inf :   True

            1 BooleanVar Declarations
                indicator_var : Size=1, Index=None
                    Key  : Value : Fixed : Stale
                    None :  None : False :  True

            4 Declarations: indicator_var binary_indicator_var c0 c1

    1 Disjunction Declarations
        complements : Size=1, Index=None, Active=True
            Key  : Disjuncts                : Active : XOR
            None : ['cc.expr1', 'cc.expr2'] :   True : True

    3 Declarations: expr1 expr2 complements
