let rec next_event_repeat is_strong n a b =
  if n < 1 then raise (Invalid_argument "Ltl.next_event_repeat: Count is less than 1.");
  if n = 1 then
    next_event is_strong a b
  else
    next_event is_strong a (next is_strong (next_event_repeat is_strong (n - 1) a b))