add call to addToAssertionCount() from assertPostConditions()