Provide more short examples: Use fixtures from dml-solving/edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test/fixtures

Use the fixtures from dml-solving/edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test/fixtures to provide more short examples.

The examples should be documented here: https://se2.informatik.uni-wuerzburg.de/mediawiki-se-public/index.php/DML_Bench_(Developer_Guide)#DML_Examples