Bug fixes in handling escaping parameters of invariants and arguments of postconditions.