epfl-lara/leon — pull request #29 by psuter (2013-07-02 14:33:40+00:00)
Title: New benchmark, and a fix in `DefaultEvaluator`.

The new benchmark is a Heap, straight from Okasaki's PhD thesis.
Currently the specification is very weak ("implements a set").
The fix is the addition of a missing case (SubsetOf) in the evaluator.