Cleanup.

No need to test attributes; those were determined when we built the
state machine.
Path walk tests for test1 and complex_test1.