Correct the optimization so that every possible through the graph need not be re-semihighlighted.