module Replacements:sig..end
val 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.varinfo
val mem : Cil_types.varinfo -> bool