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