let
simplify =
Fol_let
.compile