Added TestDMTReasoner class, trying to implement some more methods in
DMTReasoner