Usage of forward instantiation processor
Rubio_04/test4.xml:
node7
AProVE_04/forward_instantiation.xml:
node3
Secret_06_TRS/gen-28.xml:
node21
Beerendonk_07/6.xml:
node37
Beerendonk_07/1.xml:
node41