let modes_of_sys sys : modes = match Sys.get_mode_requires sys with | None, modes -> None, modes | Some ass, modes -> Some ( ["assumption"], ass ), modes