method vterm =
    do_on_term (Some preaction_expr,None)