method vterm =
    do_on_term (None,Some postaction_expr)