epfl-lara/leon — pull request #32 by colder (2013-08-27 16:35:05+00:00)
Title: Topic/postconds

Remove ResultVariable() used in postconditions with an explicitly bound Identifier.

Cleanup code that is no longer used.