ReasoningUtils constructor

ReasoningUtils()