From.Callwise
val iter : ( Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Function_Froms.froms -> unit ) -> unit
val find : Frama_c_kernel.Cil_types.kinstr -> Frama_c_kernel.Function_Froms.froms