public void ReachabilityTable_must_not_change_terminated_entry() { var r = Reachability.Empty.Terminated(nodeB, nodeA); Assert.True(r == r.Reachable(nodeB, nodeA)); Assert.True(r == r.Unreachable(nodeB, nodeA)); }