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