Single FW Test
New tests
Add node traversal and link traversal invariants