let option_name = "-dot-pdg"