let
record_kf kf last_from =
Functionwise_Dependencies
.add kf last_from