[Cocci] Replacement of function calls and corresponding parameters

[SF Markus Elfring]

> If you want to do something about a variable declaration and use, you can make 
> a pattern that has those and ... in between.  You can put some constraints 
> on the control-flow path matched by the ... using when.

Would it make sense to extend the semantic patch language for the discussed use
case?
How should source code adjustments that will only be needed if a previous
pattern matches be specified in SmPL?

Regards,
Markus