Bug fixed: $old function evaluated too early

$old() function should be evaluated last in the pre-state, such that the
developer is able to assume the preconditions passed when using the
$old() function.

(See e-mail Constantinos 20/07/'13)