In my language there are several statements, whose functionality can be performed by other statements. So I want to replace these statements with different others.
Writing a reduction rule isn't a big deal so far, but my statements contain reference to nodes in my input model. These nodes are not mandatory affected by the first reduction.
Is there an easier way than copy all my nodes and specify mapping labels?