let retype_logic_functions file = let visitor = new retypeLogicFunctions in visitFramacFile visitor file