CFA2: pushdown flow analysis for higher-order languages.