method vterm = do_on_term (Some preaction_expr, None)