splitting DAG in TBoxReasonerImpl
TBoxReasonerImpl small changes