[varjag]

I shall correct belatedly, the heuristic I point at after IsA is not in fact not-IsA. Also, the system runs out of stack space not of heap space.