Simplified NamedDAG construction
remove getNode from TBoxReasonerImpl
got rid of replacementMap