let states = BuildPdg.get_states current_pdg