open Cil_types

let main () =
  let c = object
    inherit Visitor.frama_c_inplace
    method vterm t =
      match t.term_node with
    | Tif(t1, t2, t3) ->
      Kernel.feedback "IF %a? %a : %a" 
	Cil.d_logic_type t1.term_type
	Cil.d_logic_type t2.term_type
	Cil.d_logic_type t3.term_type;
      Cil.SkipChildren
    | _ ->
      Cil.DoChildren
  end
  in
  Visitor.visitFramacFileSameGlobals c (Ast.get ())

let () = Db.Main.extend main