Usage of instantiation processor

Secret_05_TRS/aprove2.xml: node21
Strategy_removed_AG01/#4.32.xml: node5
Strategy_removed_AG01/#4.12a.xml: node3
Strategy_removed_mixed_05/test9.xml: node3
AProVE_06/sizeChange.xml: node3 node5
AProVE_04/forward_instantiation2.xml: node3
AG01/#3.47.xml: node5
Secret_06_TRS/9.xml: node25
Secret_06_TRS/4.xml: node5
Secret_06_TRS/gen-28.xml: node15 node19
Beerendonk_07/2.xml: node41