Fix pathological performance in trait solver | Dark Hacker News