Solved termination issue with mutally recursive functions
Returned better results from test

  TODO
    1) Return the type of the property rather then the proof that it holds or not.
    2) Report a flattened version of the result (avoid tags RE, RP and RA)
    3) For how the result is computed the last test case is usually returned and printed
    but this is not always sensible e.g when the property is only universally quantified.
    We need some post processing to return always a sensible answer.