removed graph sizes check. unnecessary for mcs....
fixed a message
message distinguishes now between map == null a...
added info message if no equivalent nodes were ...
added map != null check before node coloring in...
refactored subtree size calculation
fixed tests with two equivalent trees
changed copyright year