private void MarkFacadeVariableOfTerminalInterrupted(Terminal terminal) { _lifetimeVariableAssociation.MarkVariableInterrupted(terminal.GetFacadeVariable()); }