let el_has_volatile =
  List.fold_left (fun b e ->
    b || (exp_has_volatile e)) false