Added possible universe for properties
Added testing procedure test'

  There are problems when passing input values.
Refactoring

  Removed old code
  Added 2 other examples
Cosmetic changes
Added example with unsatisfiable property
Improved Input definition so that now it is actually usable
Added generators from stream
Updated examples with the new testing framework
Reused the same Input data type for Stream generator
Refactoring

  Improved readability
Added 'skip' construct
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.