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