Using edge_labels=True in canonical_label() of graph seems to work, i.e.
canonization transforms isomorphism to equality. Also the parameter does
*something*, it is not ignored.
But what is the meaning of it? For partition-parameter the meaning is
clear (but not clearly documented).