Usage of rewriting processor

AProVE_07/thiemann10.xml: node39 node43 node47
Beerendonk_07/6.xml: node43 node49
Beerendonk_07/1.xml: node47 node53
Beerendonk_07/2.xml: node37 node43