Module Checkers.FunctionPointers

val substitute : IR.Procdesc.t -> unit