cause an invariant fault with given msg argument, i.e., call invariant_fault.cause
msg, i.e., use the current invariant_fault effect to fail with the given message.