Static Determination of Dynamic Properties of Recursive Procedures