A procedure analysis context. A procedure is analyzed in zero or more
CContexts (for the pointer analysis).
This interface corresponds to the domain Context
in the paper "Pick Your Contexts Well: Understanding Object-Sensitivity"
by Smaragdakis, Bravenboer, and Lhotak.