Regarding the missing correspondences when using relabeling: I added that the flattener checks for relabelings in the refinements and if there are relabelings concerning the correspondences, the nodes in source and target are replaced by proxies using the new labels, during merging the different correspondences they are used to determine the correct source and target ModelNodeBlocks. On the given example, the correspondences are now shown for all cases.
Regarding the wrong validation: I added NullPointer checks which solved the issue in the given example.
Regarding the missing correspondences when using relabeling: I added that the flattener checks for relabelings in the refinements and if there are relabelings concerning the correspondences, the nodes in source and target are replaced by proxies using the new labels, during merging the different correspondences they are used to determine the correct source and target
ModelNodeBlocks
. On the given example, the correspondences are now shown for all cases.Regarding the wrong validation: I added
NullPointer
checks which solved the issue in the given example.The tests were all green.