Added tests for ReasoningServiceImpl