Added unit tests to check reachability and shortest path values in an NWA after the analysis.