Switched to record all StateVertex's as ID's aren't unique. Added basic output example.