122123124125126127128129130131132
{ TemporalMetricState s = (TemporalMetricState) super.apply(a); if (a instanceof SplitInstantAction) { SplitInstantAction sia = (SplitInstantAction) a; sia.applySplit(s); } s.checker.addAction((InstantAction)a, s); return s; }