Adding tests for InitialEvent and TerminalEvent