method vterm t =
match t.term_node with
| TLval _ ->
begin match t.term_type with
| Ctype ty when isVoidType ty ->
Jessie_options.fatal ~current:true "Term %a has void type" !Ast_printer.d_term t
| _ -> DoChildren
end
| _ -> DoChildren