There are several ways in which preconditions can be evaluated in the context of a post function:

You can find more generic description of precondition here