let
current_function =
BuildPdg
.get_kf current_pdg