Further tweak to PrecedenceGraph.