cc : Size=3, Index=cc_index, Active=True
    Key : Arg0   : Arg1               : Active
      1 : y + x3 : x1 + 2*x2  ==  0.0 :   True
      2 : y + x3 : x1 + 2*x2  ==  1.0 :   True
      3 : y + x3 : x1 + 2*x2  ==  2.0 :   True
