Extension of Metaproduct generation

I extended the Metaprodukt-Generation. 
Changes mainly in Metaproduct-Classes.
In ContractComposition I only changed visibilities from private to protected and fixed one Bug with more than one \forall ... in one Specification