A Static Analysis for Beta-Binders