caller local variables to in-context regions are modeled as out-of-context edges...