Small unit tests for canonical generation. Experiments continue.