WeightedMinDistResolver: Try to fix bug w/wistr-spider and --trsdc addtopo