split DAG in TBoxReasonerImpl
choice of representatives cleaned up -- all the tests are ok, but need a
simple algorithm
NamedDAG almost split