There are several ways in which preconditions can be evaluated in the context of a post function:
- True (Precondition must be true to execute a post function)
- False (Precondition must be false to execute a post function)
You can find more generic description of precondition here