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