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