remove default inconsistency checking -> fail reasoner startup if
inconsistent. provide isQuestInconsistent for user-call checking