Added test cases for ReasonerImpl