epfl-lara/leon — pull request #45 by colder (2014-01-07 16:01:47+00:00)
Title: Clean TreeOps API

- remove superfluous implementations doing almost the same
- introduce pre/post traversal and transformers as foreach/map/fold
- Redefine other operations exists, contains, as folds