Flow-driven, higher-order inlining is blocked by free variables, each of which may have multiple extant bindings. Current environment analyses designed to justify such inlining cannot cope with multiple bindings or are otherwise too weak. These weaknesses block critical compiler optimizations that provide functional languages with low-cost abstractions. We present an a posteriori environment analysis built on pushdown-model abstract interpretations that can justify inlinings out of reach of current analyses. Furthermore, it requires no modification to the abstract interpretation hosting it, as it’s performed after the fact.