Text this: CFA2: a Context-Free Approach to Control-Flow Analysis