method
vterm_lval =
do_on_term_lval (
Some
preaction_lval,
Some
postaction_lval)