fixed Bug in \original-Replacement (if clause contains more than once
\forall, \equals, ... the clause was splittet at ";"

introduced Metaproduct-generation for method based contracting

created Fallback if no featuremodel is given