setting to false the constant regulating the deferred propagation
generation and adding a note why.
adding transitivity support + 3 tests (simple, with role hierarchy, and
with role hierarchy and backtracking). the subsumer counts agree with
condors.