Stack Summarizing (Γ)CFA of LambdaS5