* [INODE,EXT] Now the estimated complexity ordering heuristic on predicate terms is used (this now works thanks to the fix by JW).