let model_of_name = function | "Runtime" -> M_Runtime | "Store" -> M_Store | "Hoare" -> M_Hoare | _ -> raise Not_found