allow multiple pre/post clauses
add a failure case in the example