Some more larger ontology examples
[WIP] Refactoring Tableaux to support monad transformers
Bug Fixed: Dependensy set in semantic opt.

Backtracking original algorithm, says that if there is a
non-deterministic expansion, then the dependency set of the first
selected concept is equal to {b}, where b is the current branching
factor. Nevertheless, this does not seem to work. I changed it to be
equal to the {b} + parentDS, where parentDS is the dependecny set of its
parent concept.