val translate_prog:
Lustre_types.program_t ->
Scheduling_type.schedule_report Utils.IMap.t ->
Machine_code_types.machine_t list