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