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