let rec reduce_statement ~env statement =
  visit_statement ~v_expr:reduce_expr ~v_ldecl:(reduce_ldecl ~env) ~self:(reduce_statement ~env) statement