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