libc:bool -> Cil_datatype.Varinfo.Set.t -> object method pp_reached_from_function : Format.formatter -> Kernel_function.t -> unit end