let
ae_simp_fwd_subst data e nofrm =
ae_lv_fwd_subst data (-1) e (emptyFunction
"@dummy@"
) nofrm