let check_types file =
  (* check types *)
  let visitor = new checkTypes in
  visitFramacFile visitor file;