Include new parameters when printing configuration
Adding a TODO
Display vertex ids in dot output when -v 2
Prepare state comparison
Implement comparison