Implement a common missing fold, (add (add x, c1), c2) -> (add x, c1+c2).