Fix bug in handling of postconditions