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