method vterm_lval =
    do_on_term_lval (None,Some postaction_lval)