HenshinEditor: improved coloring of nodes in rules (deleted and created
elements)