changes in cplex reasoner. test cases added for the FGCS