Analysis of analysis for variables unnecessarily entrained by inner functions