Frama_c_kernel.Replacementsval add : Cil_types.varinfo -> Cil_types.varinfo -> unitadd replaced original stores the association of the original and the replaced functions in a project state.
val find : Cil_types.varinfo -> Cil_types.varinfoval mem : Cil_types.varinfo -> bool