the optimization to compute all atomic subsumers in one go by examining
the branches for all candidates in one pass. some improvements are
missing.
first cut implementation of property hierarchies. still generates
propagations for all sub-properties eagerly, regardless of which
backward links have been created, that needs to be optimized later.