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