Find interface for pattern and check

[pjljvandelaar]

Find takes either a check / predicate function or a pattern.

Find and Replace takes a find pattern and a check / predicate function.

I would like to have a Find function that also takes a find pattern and a check / predicate function.

For example to find infinite loops using the pattern

while $S_Cond loop
   null;
end loop;

and check that the placeholder $S_Cond has NO side effects.