cc : Size=1, Index=None, Active=False
    Key  : Arg0   : Arg1             : Active
    None : y + x3 : x1 + 2*x2  ==  1 :  False
