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