Improved canonicalization.
Fixed GraphViz output.
Tuning.
Added actual evolution result to unit test.