Annotate function args and method app with required regions

[mukul-rathi]

So when we make a pass to remove any regions based on condition - if we'd have to remove any regions from function args or method effects then we raise Error.

[mukul-rathi]

no need for this - will be taken care in another method