cause a postcondition fault with given msg argument, i.e., call post_fault.cause
msg, i.e., use the current post_fault effect to fail with the given message.