Examples of DML model instances.

For further example, see also the test fixtures in:
https://se3.informatik.uni-wuerzburg.de/descartes/dml-solving/tree/master/edu.kit.ipd.descartes.solving.dqlconnector.test
https://se3.informatik.uni-wuerzburg.de/descartes/dml-solving/tree/master/edu.kit.ipd.descartes.solving.transformations.dmm2qpn.test