A short paper on how to use pushdown analysis techniques for better precision in non-pushdown models.