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