let
fold_constants =
Reduce
.reduce_expression