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