Fix compilation errors in crown reduction.
Fix tests for matching.
Remove temporarily unused variable.
Refactor the graph visualizer, introduce attribute concept.
Add attributes support to graph visualizer.