Analyzing CFG to find first/last usage of resources:

**Usecases:**
* resource using in loop: acquire resource right before loop, and freeing right after that.
* group of probable first/last using: every site in the group should treat resource as lazy(with safety check), 
 and eager otherwise

**Examples:**
* appending to a file
* memory management