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