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