succeeds_n_times(foo(X), Counter ) :-
        Counter = counter(0,0,0),
        (   arg(A,v(bar, baz, boo),X),
            arg(A, Counter, N0),
            N is N0 + 1,
            nb_setarg(A, Counter, N),
            fail
      ....
        ;
        ).