An overweight Rete Network

The picture above shows a slightly overweight Rete Network compiled from:

>>> @pyRete.Rule
... def foo(a = int, b = int):
...   ab = a * b
...   if a == b and ab == 4:
...     pass

The RuleCompiler becomes more and more complete each day that passes now. It feels quite good to be back on track. I've still got some problems figuring out how to handle Not and Exists correctly but I'll figure it out eventually.

I've completely re-written the RuleCompiler's constructRete function. It's much simpler now but it also constructs seriously non-optimized Rete Networks. I figure I can reduce the number of Nodes in the above Network with at least 33%. Probably more.