Bug fix in setting postConditions