Small fix to assignment of parameters to existential types / postconditions.