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))