cc : Size=1, Index=None, Active=True
    Key  : Arg0            : Arg1              : Active
    None : 0.0  <=  y + x3 : -1.0  <=  x1 + x2 :   True
