sig
  exception Typing_error of E_ACSL.Options.category option * string
  exception Not_yet of E_ACSL.Options.category option * string
end