Recursive block search

[quasilyte]

I would like to express patterns like "is there X function call inside a loop?".

Right now we can only check whether a loop contains a function call inside 1st statement level. We can't match that function call if it's under if statement, for example.