Stack Summarizing (Γ)CFA of ANF lambda calculus