Fixed bug with checking subsumption of simple concepts

C subclass of D, D subclass of E.
Subclass listing was working correctly, but asking for 
is C subclass of E entailed?
returned false due to early exit from the taxonomy check.