pub fn sum(expr: Expr) -> Expr