Approach #1 to context-sensitivity Keep information for different call sites separate In this case: context is the call site from which the procedure is.
