Fixed bug in DTLearnerHypothesis, made DHC builder non-final