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