- removed useless files.
- changed checking algorithms:
  = gradual verification is now done on Boogie assertions and does not
need to be encoded in the boogie file
  = checking algorithms now only compute three set: feasible blocks,
blocks that are feasible if the postcondition is ignored, and blocks
that are never feasible.