E_ACSL.Error
exception Typing_error of Frama_c_kernel.Fileloc.t * Options.category option * string
exception Not_yet of Frama_c_kernel.Fileloc.t * Options.category option * string