method vterm ts = match ts.term_node with
    | TLval(TResult _,_) -> DoChildren
    | _ ->
        assert (not (app_term_type isVoidPtrType false ts.term_type));
        DoChildren