In reply to raku:
Thanks for the great solution ben!!
I tried with the first (the one with “first_match”) and now the assertion works fine, but at the end of simulation it remains append because (I guess) no more $fell(a) condition (second of the first part of the assertion) has been found.
But I think it’s sufficient for my checks for now.
thanks again for your help.