0CFA analysis of the lambda calculus with addition.