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