method
vterm_lval =
do_on_term_lval (
None
,
Some
postaction_lval)