let record_kf kf last_from = Functionwise_Dependencies.add kf last_from