Logic_normalizer.Logic_infosThe analyses in Logic_normalizer may:
val generated_of :
Frama_c_kernel.Cil_types.logic_info ->
Frama_c_kernel.Cil_types.logic_info listauxiliary logic_infos generated from the given logic_info.
val origin_of_lv :
Frama_c_kernel.Cil_types.logic_var ->
Frama_c_kernel.Cil_types.logic_varIdentify the logic_info from which the logic_info identified by the given argument stems from. This is required in order to create meaningful feedback messages for the user who should not be confronted with the names of generated logic functions.