Complexity reduction when choosing the best inference leaf to be solved

[Maurizio Cimadamore]

On 04/10/17 11:08, B. Blaser wrote:
> That's what I thought, too. But with a "Map<Type, Node>", I was
> surprised by a small set of failing tests because of more than one
> node per variable. Is there any problem elsewhere?
I think we need to look at those tests - do you have a pointer to what 
they were?

Thanks
Maurizio