@Test
public void testHaltEventAfterTriggerEvent() {

  long c = 0L;
  List<SequenceEvent> events = List.of(
      SequenceEvent.create(E.triggerExecution(UNKNOWN_TRIGGER0), c++, ts("07:55")),
      SequenceEvent.create(E.halt(), c++, ts("07:56"))
  );
  assertValidTransitionSequence(events);
  WorkflowInstanceExecutionData workflowInstanceExecutionData =
  new WFIExecutionBuilder().executionInfo(events);
  WorkflowInstanceExecutionData expected =
      WorkflowInstanceExecutionData.create(
          WORKFLOW_INSTANCE,
          List.of(
              Trigger.create(
                  "trig0",
                  time("07:55"),
                  TriggerParameters.zero(),
                  true,
                  List.of(
                      Execution.create(
                          Optional.empty(),
                          Optional.empty(),
                          Optional.empty(),
                          Optional.empty(),
                          List.of(
                              ExecStatus.create(time("07:56"), "HALTED", Optional.empty())
                          )
                      )
                  )
              )
          )
      );
  assertThat(workflowInstanceExecutionData, is(expected));
}