fixed a bug in Dijkstra's Preprocessing, returning the wrong incident nodes for a given node, probably resulting in inferior performance because dead ends where incorrectly pruned. Thanks to Sergio for spotting this!
Authored by: mrieser 2012-08-10
Parent: [r20546]
Child: [r20548]