let
mark_as_called kf =
Is_Called
.add kf
true