let
cast_coerce e1 t =
let
e1 = cast_coerce e1 t
in
try
fold_constants e1
with
NotConstant
->
e1