method vterm_lval =
    do_on_term_lval (Some preaction_lval, Some postaction_lval)