let get_or_raise (info_data_opt, info_decl) = match info_data_opt with
  | None ->
      (* TODO: maybe we can know how to use [info_decl] ? *)
      raise (Extlib.NotYetImplemented
                     !Logic_interp.To_zone.not_yet_implemented)
  | Some info_data -> info_data, info_decl