1. Added optimization to non-mon inheritance for the case when Object,
Method are both ground.
2. Fixed a bug in nonmon inheritance: now it checks if O is about to
inherit from C and there is a
conflicting inheritance from a superclass of O that is
incomparable to C,
If there is, then no inheritance takes place.
