let current_function = BuildPdg.get_kf current_pdg