E_ACSL.Translate_rtesGenerate and translate RTE annotations.
val rte_annots :
(Format.formatter -> 'a -> unit) ->
'a ->
Frama_c_kernel.Cil_types.kernel_function ->
Env.t ->
Frama_c_kernel.Cil_types.code_annotation list ->
Env.tTranslate the given RTE annotations into runtime checks in the given environment.