transitively reachable and bridges with navigator
Merge pull request #24 from MarcSpicker/master

Transitively reachable and bridges.