Topic/postconds

Remove ResultVariable() used in postconditions with an explicitly bound Identifier.

Cleanup code that is no longer used.