sig   val iter :     ((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit) Pervasives.ref   val find : (Cil_types.kinstr -> Function_Froms.t) Pervasives.ref end