Is it not possible to use sample functions like $fell in Sequence in assertions?

In reply to Subhra Bera:

put throughout statement inside round bracket

((!burst) throughout (##2 (!trdy [*3])));

I think then it won’t show any error.