refactored DAGBuilder
DAGBuilder refactoring
prepare DAG split
getEquivalences split
getAncestors split
getDescendant split
getDirectParents split
split getDirectChildren
S_Equivalence test cleaned a bit
getNodes split
fewer getNodes
fewer getNodes
cleaned test code
re-implemented TestTBoxReasonerImplOnGraph
cleaned TBoxReasonerImpl