@Override
  public void clearRecursively(ExecutableTriggerStateMachine trigger) {
    bitSet.clear(trigger.getTriggerIndex(), trigger.getFirstIndexAfterSubtree());
  }
@Test
  public void testClearRecursively() {
    FinishedTriggersProperties.verifyClearRecursively(FinishedTriggersBitSet.emptyWithCapacity(1));
  }