let add kf deps r = let name = Kernel_function.get_name kf ^ " --> " ^ string_of_bool !r in add name kf deps r