| D.EBind (lenv, a, b) -> lenv_iter map1 map2 lenv (map1 a b f)
| D.EProj (lenv, a, e) -> lenv_iter map1 map2 lenv (map2 a e f)
| D.EBind (lenv, a, b) -> lenv_iter map1 map2 lenv (map1 a b f)
| D.EProj (lenv, a, e) -> lenv_iter map1 map2 lenv (map2 a e f)