How have we concluded that Dillon was definitely the liar and not Kohl or Granger?
I'm desperately trying to follow the logic but a) this page moves faster than a Courier with Engineered Thrusters, and b) all I can find out is that it has been assumed on the basis binary pulsars are very rare...
Assuming the clues are true, it was Kohl who mentioned one of his friends lies. So taking his word for it, that means either Dillon's clue or Granger's clue is false.
Kohl's second clue excludes Dillon's clue, so he must be the liar.
Unless they are all lies of course.
NB, when searching for AB systems on the Galmap, keep in mind you have the star filter, so you can select to only see M-class stars.