[578117] Regen all
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/complete/AbstractCompletePackages.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/complete/AbstractCompletePackages.java
index a8c6171..2982875 100644
--- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/complete/AbstractCompletePackages.java
+++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/complete/AbstractCompletePackages.java
@@ -41,7 +41,7 @@
 			COMPLETE_PACKAGES.println("Create " + this);
 		}
 	}
-	
+
 	@Override
 	public void addUnique(CompletePackage completePackage) {
 		assert completePackage != null;
@@ -165,7 +165,7 @@
 	public @Nullable CompletePackageInternal getOwnedCompletePackage(@Nullable String name) {
 		return name2completePackage.get(name);
 	}
-	
+
 	protected abstract @NonNull CompletePackageInternal getOwnedCompletePackage(org.eclipse.ocl.pivot.@NonNull Package pivotPackage);
 
 	protected abstract @NonNull Iterable<org.eclipse.ocl.pivot.Package> getPartialPackages();
diff --git a/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSemanticSequencer.java b/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSemanticSequencer.java
index e26f0d7..a3a8d05 100644
--- a/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSemanticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSemanticSequencer.java
@@ -112,11 +112,13 @@
 	}
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     FirstPathElementCS returns PathElementCS
 	 *
 	 * Constraint:
 	 *     referredElement=[NamedElement|UnrestrictedName]
+	 * </pre>
 	 */
 	protected void sequence_FirstPathElementCS(ISerializationContext context, PathElementCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -130,11 +132,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MultiplicityBoundsCS returns MultiplicityBoundsCS
 	 *
 	 * Constraint:
 	 *     (lowerBound=LOWER upperBound=UPPER?)
+	 * </pre>
 	 */
 	protected void sequence_MultiplicityBoundsCS(ISerializationContext context, MultiplicityBoundsCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -142,11 +146,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MultiplicityCS returns MultiplicityBoundsCS
 	 *
 	 * Constraint:
 	 *     (lowerBound=LOWER upperBound=UPPER? isNullFree?='|1'?)
+	 * </pre>
 	 */
 	protected void sequence_MultiplicityBoundsCS_MultiplicityCS(ISerializationContext context, MultiplicityBoundsCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -154,11 +160,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MultiplicityCS returns MultiplicityStringCS
 	 *
 	 * Constraint:
 	 *     ((stringBounds='*' | stringBounds='+' | stringBounds='?') isNullFree?='|1'?)
+	 * </pre>
 	 */
 	protected void sequence_MultiplicityCS_MultiplicityStringCS(ISerializationContext context, MultiplicityStringCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -166,11 +174,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MultiplicityStringCS returns MultiplicityStringCS
 	 *
 	 * Constraint:
 	 *     (stringBounds='*' | stringBounds='+' | stringBounds='?')
+	 * </pre>
 	 */
 	protected void sequence_MultiplicityStringCS(ISerializationContext context, MultiplicityStringCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -178,11 +188,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NextPathElementCS returns PathElementCS
 	 *
 	 * Constraint:
 	 *     referredElement=[NamedElement|UnreservedName]
+	 * </pre>
 	 */
 	protected void sequence_NextPathElementCS(ISerializationContext context, PathElementCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -196,11 +208,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PathNameCS returns PathNameCS
 	 *
 	 * Constraint:
 	 *     (ownedPathElements+=FirstPathElementCS ownedPathElements+=NextPathElementCS*)
+	 * </pre>
 	 */
 	protected void sequence_PathNameCS(ISerializationContext context, PathNameCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -208,11 +222,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TemplateBindingCS returns TemplateBindingCS
 	 *
 	 * Constraint:
 	 *     (ownedSubstitutions+=TemplateParameterSubstitutionCS ownedSubstitutions+=TemplateParameterSubstitutionCS* ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TemplateBindingCS(ISerializationContext context, TemplateBindingCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -220,11 +236,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TemplateParameterSubstitutionCS returns TemplateParameterSubstitutionCS
 	 *
 	 * Constraint:
 	 *     ownedActualParameter=TypeRefCS
+	 * </pre>
 	 */
 	protected void sequence_TemplateParameterSubstitutionCS(ISerializationContext context, TemplateParameterSubstitutionCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -238,11 +256,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TemplateSignatureCS returns TemplateSignatureCS
 	 *
 	 * Constraint:
 	 *     (ownedParameters+=TypeParameterCS ownedParameters+=TypeParameterCS*)
+	 * </pre>
 	 */
 	protected void sequence_TemplateSignatureCS(ISerializationContext context, TemplateSignatureCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -250,11 +270,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeParameterCS returns TypeParameterCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName (ownedExtends+=TypedRefCS ownedExtends+=TypedRefCS*)?)
+	 * </pre>
 	 */
 	protected void sequence_TypeParameterCS(ISerializationContext context, TypeParameterCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -262,6 +284,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeRefCS returns TypedTypeRefCS
 	 *     TypedRefCS returns TypedTypeRefCS
@@ -269,6 +292,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedPathName=PathNameCS ownedBinding=TemplateBindingCS?)
+	 * </pre>
 	 */
 	protected void sequence_TypedTypeRefCS(ISerializationContext context, TypedTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -276,11 +300,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     UnreservedPathNameCS returns PathNameCS
 	 *
 	 * Constraint:
 	 *     (ownedPathElements+=NextPathElementCS ownedPathElements+=NextPathElementCS*)
+	 * </pre>
 	 */
 	protected void sequence_UnreservedPathNameCS(ISerializationContext context, PathNameCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -288,12 +314,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeRefCS returns WildcardTypeRefCS
 	 *     WildcardTypeRefCS returns WildcardTypeRefCS
 	 *
 	 * Constraint:
 	 *     ownedExtends=TypedRefCS?
+	 * </pre>
 	 */
 	protected void sequence_WildcardTypeRefCS(ISerializationContext context, WildcardTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
diff --git a/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSyntacticSequencer.java b/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSyntacticSequencer.java
index 3910df2..03c6d84 100644
--- a/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSyntacticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.base/src-gen/org/eclipse/ocl/xtext/base/serializer/AbstractBaseSyntacticSequencer.java
@@ -54,6 +54,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     '|?'?
 	 *
@@ -63,6 +64,8 @@
 	 *     stringBounds='+' (ambiguity) ']' (rule end)
 	 *     stringBounds='?' (ambiguity) ']' (rule end)
 	 *     upperBound=UPPER (ambiguity) ']' (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_MultiplicityCS_VerticalLineQuestionMarkKeyword_2_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
diff --git a/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSemanticSequencer.java b/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSemanticSequencer.java
index 6cc1103..571caab 100644
--- a/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSemanticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSemanticSequencer.java
@@ -447,6 +447,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ClassifierContextDeclCS returns ClassifierContextDeclCS
 	 *     ContextDeclCS returns ClassifierContextDeclCS
@@ -458,6 +459,7 @@
 	 *         ownedPathName=UnreservedPathNameCS
 	 *         (ownedInvariants+=ConstraintCS | ownedDefinitions+=DefCS)+
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_ClassifierContextDeclCS(ISerializationContext context, ClassifierContextDeclCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -465,11 +467,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CompleteOCLDocumentCS returns CompleteOCLDocumentCS
 	 *
 	 * Constraint:
 	 *     (ownedImports+=ImportCS+ | (ownedImports+=ImportCS+ (ownedPackages+=PackageDeclarationCS | ownedContexts+=ContextDeclCS)+))?
+	 * </pre>
 	 */
 	protected void sequence_CompleteOCLDocumentCS(ISerializationContext context, CompleteOCLDocumentCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -477,11 +481,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ConstraintCS returns ConstraintCS
 	 *
 	 * Constraint:
 	 *     ((name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS)
+	 * </pre>
 	 */
 	protected void sequence_ConstraintCS(ISerializationContext context, ConstraintCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -489,6 +495,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     DefCS returns DefOperationCS
 	 *     DefOperationCS returns DefOperationCS
@@ -502,6 +509,7 @@
 	 *         ownedType=TypeExpCS?
 	 *         ownedSpecification=SpecificationCS
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_DefOperationCS(ISerializationContext context, DefOperationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -509,11 +517,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     DefParameterCS returns ParameterCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName ownedType=TypeExpCS)
+	 * </pre>
 	 */
 	protected void sequence_DefParameterCS(ISerializationContext context, ParameterCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -530,12 +540,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     DefCS returns DefPropertyCS
 	 *     DefPropertyCS returns DefPropertyCS
 	 *
 	 * Constraint:
 	 *     (isStatic?='static'? name=UnrestrictedName ownedType=TypeExpCS ownedSpecification=SpecificationCS)
+	 * </pre>
 	 */
 	protected void sequence_DefPropertyCS(ISerializationContext context, DefPropertyCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -543,11 +555,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ImportCS returns ImportCS
 	 *
 	 * Constraint:
 	 *     (name=Identifier? ownedPathName=URIPathNameCS isAll?='::*'?)
+	 * </pre>
 	 */
 	protected void sequence_ImportCS(ISerializationContext context, ImportCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -555,11 +569,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NavigatingArgExpCS returns OCLMessageArgCS
 	 *
 	 * Constraint:
 	 *     {OCLMessageArgCS}
+	 * </pre>
 	 */
 	protected void sequence_NavigatingArgExpCS(ISerializationContext context, OCLMessageArgCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -567,6 +583,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ContextDeclCS returns OperationContextDeclCS
 	 *     OperationContextDeclCS returns OperationContextDeclCS
@@ -579,6 +596,7 @@
 	 *         ownedType=TypeExpCS?
 	 *         (ownedPreconditions+=ConstraintCS | ownedPostconditions+=ConstraintCS | ownedBodies+=SpecificationCS)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_OperationContextDeclCS(ISerializationContext context, OperationContextDeclCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -586,11 +604,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PackageDeclarationCS returns PackageDeclarationCS
 	 *
 	 * Constraint:
 	 *     (ownedPathName=UnreservedPathNameCS ownedInvariants+=ConstraintCS* ownedContexts+=ContextDeclCS*)
+	 * </pre>
 	 */
 	protected void sequence_PackageDeclarationCS(ISerializationContext context, PackageDeclarationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -598,11 +618,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ParameterCS returns ParameterCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName? ownedType=TypeExpCS)
+	 * </pre>
 	 */
 	protected void sequence_ParameterCS(ISerializationContext context, ParameterCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -610,12 +632,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ContextDeclCS returns PropertyContextDeclCS
 	 *     PropertyContextDeclCS returns PropertyContextDeclCS
 	 *
 	 * Constraint:
 	 *     (ownedPathName=UnreservedPathNameCS ownedType=TypeExpCS (ownedDefaultExpressions+=SpecificationCS | ownedDefaultExpressions+=SpecificationCS)*)
+	 * </pre>
 	 */
 	protected void sequence_PropertyContextDeclCS(ISerializationContext context, PropertyContextDeclCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -623,11 +647,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     SpecificationCS returns ExpSpecificationCS
 	 *
 	 * Constraint:
 	 *     (ownedExpression=ExpCS | exprString=UNQUOTED_STRING)
+	 * </pre>
 	 */
 	protected void sequence_SpecificationCS(ISerializationContext context, ExpSpecificationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -635,11 +661,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TemplateSignatureCS returns TemplateSignatureCS
 	 *
 	 * Constraint:
 	 *     ((ownedParameters+=TypeParameterCS ownedParameters+=TypeParameterCS*) | (ownedParameters+=TypeParameterCS ownedParameters+=TypeParameterCS*))
+	 * </pre>
 	 */
 	protected void sequence_TemplateSignatureCS(ISerializationContext context, TemplateSignatureCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
diff --git a/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSyntacticSequencer.java b/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSyntacticSequencer.java
index 909703e..f0bdb77 100644
--- a/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSyntacticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.completeocl/src-gen/org/eclipse/ocl/xtext/completeocl/serializer/AbstractCompleteOCLSyntacticSequencer.java
@@ -128,6 +128,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -136,47 +137,59 @@
 	 *     (rule start) 'def' (ambiguity) ':' ownedSignature=TemplateSignatureCS
 	 *     isStatic?='static' 'def' (ambiguity) ':' name=UnrestrictedName
 	 *     isStatic?='static' 'def' (ambiguity) ':' ownedSignature=TemplateSignatureCS
+
+	 * </pre>
 	 */
 	protected void emit_DefOperationCS_UnrestrictedNameParserRuleCall_2_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     (rule start) 'def' (ambiguity) ':' name=UnrestrictedName
 	 *     isStatic?='static' 'def' (ambiguity) ':' name=UnrestrictedName
+
+	 * </pre>
 	 */
 	protected void emit_DefPropertyCS_UnrestrictedNameParserRuleCall_2_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     'import' | 'include' | 'library'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     (rule start) (ambiguity) name=Identifier
 	 *     (rule start) (ambiguity) ownedPathName=URIPathNameCS
+
+	 * </pre>
 	 */
 	protected void emit_ImportCS_ImportKeyword_0_0_or_IncludeKeyword_0_1_or_LibraryKeyword_0_2(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedKey=ExpCS (ambiguity) ownedValue=ExpCS
+
+	 * </pre>
 	 */
 	protected void emit_MapLiteralPartCS_LessThanSignHyphenMinusKeyword_1_1_or_WithKeyword_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     '|?'?
 	 *
@@ -186,80 +199,101 @@
 	 *     stringBounds='+' (ambiguity) ']' (rule end)
 	 *     stringBounds='?' (ambiguity) ']' (rule end)
 	 *     upperBound=UPPER (ambiguity) ']' (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_MultiplicityCS_VerticalLineQuestionMarkKeyword_2_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_0_0_1_or_WithKeyword_0_1_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_1_2_0_1_or_WithKeyword_0_1_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_2_1_0_1_or_WithKeyword_0_1_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_0_0_1_or_WithKeyword_2_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_1_2_0_1_or_WithKeyword_2_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_2_1_0_1_or_WithKeyword_2_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -270,42 +304,53 @@
 	 *     ownedPostconditions+=ConstraintCS 'body' (ambiguity) ':' ownedBodies+=SpecificationCS
 	 *     ownedPreconditions+=ConstraintCS 'body' (ambiguity) ':' ownedBodies+=SpecificationCS
 	 *     ownedType=TypeExpCS 'body' (ambiguity) ':' ownedBodies+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_OperationContextDeclCS_UnrestrictedNameParserRuleCall_8_2_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS 'derive' (ambiguity) ':' ownedDefaultExpressions+=SpecificationCS
 	 *     ownedType=TypeExpCS 'derive' (ambiguity) ':' ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_PropertyContextDeclCS_UnrestrictedNameParserRuleCall_4_0_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS 'init' (ambiguity) ':' ownedDefaultExpressions+=SpecificationCS
 	 *     ownedType=TypeExpCS 'init' (ambiguity) ':' ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_PropertyContextDeclCS_UnrestrictedNameParserRuleCall_4_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('(' ')')?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     name='Tuple' (ambiguity) (rule end)
 	 *     name='Tuple' (ambiguity) ownedMultiplicity=MultiplicityCS
+
+	 * </pre>
 	 */
 	protected void emit_TupleTypeCS___LeftParenthesisKeyword_1_0_RightParenthesisKeyword_1_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
diff --git a/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSemanticSequencer.java b/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSemanticSequencer.java
index 7d5be37..30115d8 100644
--- a/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSemanticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSemanticSequencer.java
@@ -380,6 +380,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns BooleanLiteralExpCS
 	 *     BooleanLiteralExpCS returns BooleanLiteralExpCS
@@ -391,6 +392,7 @@
 	 *
 	 * Constraint:
 	 *     (symbol='true' | symbol='false')
+	 * </pre>
 	 */
 	protected void sequence_BooleanLiteralExpCS(ISerializationContext context, BooleanLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -398,11 +400,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CoIteratorVariableCS returns VariableCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName ownedType=TypeExpCS?)
+	 * </pre>
 	 */
 	protected void sequence_CoIteratorVariableCS(ISerializationContext context, VariableCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -410,6 +414,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CollectionLiteralExpCS returns CollectionLiteralExpCS
 	 *     ExpCS returns CollectionLiteralExpCS
@@ -420,6 +425,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedType=CollectionTypeCS (ownedParts+=CollectionLiteralPartCS ownedParts+=CollectionLiteralPartCS*)?)
+	 * </pre>
 	 */
 	protected void sequence_CollectionLiteralExpCS(ISerializationContext context, CollectionLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -427,11 +433,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CollectionLiteralPartCS returns CollectionLiteralPartCS
 	 *
 	 * Constraint:
 	 *     ((ownedExpression=ExpCS ownedLastExpression=ExpCS?) | ownedExpression=PatternExpCS)
+	 * </pre>
 	 */
 	protected void sequence_CollectionLiteralPartCS(ISerializationContext context, CollectionLiteralPartCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -439,12 +447,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CollectionPatternCS returns CollectionPatternCS
 	 *     TypeExpWithoutMultiplicityCS returns CollectionPatternCS
 	 *
 	 * Constraint:
 	 *     (ownedType=CollectionTypeCS (ownedParts+=PatternExpCS ownedParts+=PatternExpCS* restVariableName=Identifier)?)
+	 * </pre>
 	 */
 	protected void sequence_CollectionPatternCS(ISerializationContext context, CollectionPatternCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -452,11 +462,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns CollectionPatternCS
 	 *
 	 * Constraint:
 	 *     (ownedType=CollectionTypeCS (ownedParts+=PatternExpCS ownedParts+=PatternExpCS* restVariableName=Identifier)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_CollectionPatternCS_TypeExpCS(ISerializationContext context, CollectionPatternCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -464,6 +476,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CollectionTypeCS returns CollectionTypeCS
 	 *     TypeLiteralCS returns CollectionTypeCS
@@ -471,6 +484,7 @@
 	 *
 	 * Constraint:
 	 *     (name=CollectionTypeIdentifier (ownedType=TypeExpWithoutMultiplicityCS ownedCollectionMultiplicity=MultiplicityCS?)?)
+	 * </pre>
 	 */
 	protected void sequence_CollectionTypeCS(ISerializationContext context, CollectionTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -478,6 +492,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns CollectionTypeCS
 	 *
@@ -487,6 +502,7 @@
 	 *         (ownedType=TypeExpWithoutMultiplicityCS ownedCollectionMultiplicity=MultiplicityCS?)?
 	 *         ownedMultiplicity=MultiplicityCS?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_CollectionTypeCS_TypeExpCS(ISerializationContext context, CollectionTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -494,6 +510,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeLiteralWithMultiplicityCS returns CollectionTypeCS
 	 *
@@ -503,6 +520,7 @@
 	 *         (ownedType=TypeExpWithoutMultiplicityCS ownedCollectionMultiplicity=MultiplicityCS?)?
 	 *         ownedMultiplicity=MultiplicityCS?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_CollectionTypeCS_TypeLiteralWithMultiplicityCS(ISerializationContext context, CollectionTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -510,11 +528,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     CurlyBracketedClauseCS returns CurlyBracketedClauseCS
 	 *
 	 * Constraint:
 	 *     (ownedParts+=ShadowPartCS ownedParts+=ShadowPartCS*)?
+	 * </pre>
 	 */
 	protected void sequence_CurlyBracketedClauseCS(ISerializationContext context, CurlyBracketedClauseCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -522,11 +542,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ElseIfThenExpCS returns IfThenExpCS
 	 *
 	 * Constraint:
 	 *     (ownedCondition=ExpCS ownedThenExpression=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_ElseIfThenExpCS(ISerializationContext context, IfThenExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -543,12 +565,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns InfixExpCS
 	 *     NavigatingArgExpCS returns InfixExpCS
 	 *
 	 * Constraint:
 	 *     (ownedLeft=ExpCS_InfixExpCS_0_1_0 name=BinaryOperatorName ownedRight=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_ExpCS(ISerializationContext context, InfixExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -568,6 +592,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns IfExpCS
 	 *     ExpCS.InfixExpCS_0_1_0 returns IfExpCS
@@ -583,6 +608,7 @@
 	 *         ownedIfThenExpressions+=ElseIfThenExpCS*
 	 *         ownedElseExpression=ExpCS
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_IfExpCS(ISerializationContext context, IfExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -590,6 +616,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns InvalidLiteralExpCS
 	 *     InvalidLiteralExpCS returns InvalidLiteralExpCS
@@ -601,6 +628,7 @@
 	 *
 	 * Constraint:
 	 *     {InvalidLiteralExpCS}
+	 * </pre>
 	 */
 	protected void sequence_InvalidLiteralExpCS(ISerializationContext context, InvalidLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -608,6 +636,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     LambdaLiteralExpCS returns LambdaLiteralExpCS
 	 *     ExpCS returns LambdaLiteralExpCS
@@ -618,6 +647,7 @@
 	 *
 	 * Constraint:
 	 *     ownedExpressionCS=ExpCS
+	 * </pre>
 	 */
 	protected void sequence_LambdaLiteralExpCS(ISerializationContext context, LambdaLiteralExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -631,6 +661,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns LetExpCS
 	 *     PrefixedLetExpCS returns LetExpCS
@@ -639,6 +670,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedVariables+=LetVariableCS ownedVariables+=LetVariableCS* ownedInExpression=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_LetExpCS(ISerializationContext context, LetExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -646,11 +678,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     LetVariableCS returns LetVariableCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName ownedRoundBracketedClause=RoundBracketedClauseCS? ownedType=TypeExpCS? ownedInitExpression=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_LetVariableCS(ISerializationContext context, LetVariableCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -658,6 +692,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MapLiteralExpCS returns MapLiteralExpCS
 	 *     ExpCS returns MapLiteralExpCS
@@ -668,6 +703,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedType=MapTypeCS (ownedParts+=MapLiteralPartCS ownedParts+=MapLiteralPartCS*)?)
+	 * </pre>
 	 */
 	protected void sequence_MapLiteralExpCS(ISerializationContext context, MapLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -675,11 +711,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MapLiteralPartCS returns MapLiteralPartCS
 	 *
 	 * Constraint:
 	 *     (ownedKey=ExpCS ownedValue=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_MapLiteralPartCS(ISerializationContext context, MapLiteralPartCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -696,6 +734,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MapTypeCS returns MapTypeCS
 	 *     TypeLiteralCS returns MapTypeCS
@@ -703,6 +742,7 @@
 	 *
 	 * Constraint:
 	 *     (name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)?)
+	 * </pre>
 	 */
 	protected void sequence_MapTypeCS(ISerializationContext context, MapTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -710,11 +750,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns MapTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_MapTypeCS_TypeExpCS(ISerializationContext context, MapTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -722,11 +764,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeLiteralWithMultiplicityCS returns MapTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_MapTypeCS_TypeLiteralWithMultiplicityCS(ISerializationContext context, MapTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -734,11 +778,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     Model returns ContextCS
 	 *
 	 * Constraint:
 	 *     ownedExpression=ExpCS
+	 * </pre>
 	 */
 	protected void sequence_Model(ISerializationContext context, ContextCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -752,6 +798,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns NameExpCS
 	 *     ExpCS.InfixExpCS_0_1_0 returns NameExpCS
@@ -768,6 +815,7 @@
 	 *         ownedCurlyBracketedClause=CurlyBracketedClauseCS?
 	 *         isPre?='@'?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_NameExpCS(ISerializationContext context, NameExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -775,6 +823,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NavigatingArgCS returns NavigatingArgCS
 	 *
@@ -790,6 +839,7 @@
 	 *         ) |
 	 *         ownedType=TypeExpCS
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_NavigatingArgCS(ISerializationContext context, NavigatingArgCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -797,11 +847,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NavigatingBarArgCS returns NavigatingArgCS
 	 *
 	 * Constraint:
 	 *     (prefix='|' ownedNameExpression=NavigatingArgExpCS (ownedType=TypeExpCS ownedInitExpression=ExpCS?)?)
+	 * </pre>
 	 */
 	protected void sequence_NavigatingBarArgCS(ISerializationContext context, NavigatingArgCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -809,6 +861,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NavigatingCommaArgCS returns NavigatingArgCS
 	 *
@@ -822,6 +875,7 @@
 	 *             (ownedType=TypeExpCS? ownedCoIterator=CoIteratorVariableCS? ownedInitExpression=ExpCS)
 	 *         )?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_NavigatingCommaArgCS(ISerializationContext context, NavigatingArgCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -829,11 +883,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     NavigatingSemiArgCS returns NavigatingArgCS
 	 *
 	 * Constraint:
 	 *     (prefix=';' ownedNameExpression=NavigatingArgExpCS (ownedType=TypeExpCS ownedInitExpression=ExpCS?)?)
+	 * </pre>
 	 */
 	protected void sequence_NavigatingSemiArgCS(ISerializationContext context, NavigatingArgCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -841,6 +897,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns NestedExpCS
 	 *     ExpCS.InfixExpCS_0_1_0 returns NestedExpCS
@@ -851,6 +908,7 @@
 	 *
 	 * Constraint:
 	 *     ownedExpression=ExpCS
+	 * </pre>
 	 */
 	protected void sequence_NestedExpCS(ISerializationContext context, NestedExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -864,6 +922,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns NullLiteralExpCS
 	 *     NullLiteralExpCS returns NullLiteralExpCS
@@ -875,6 +934,7 @@
 	 *
 	 * Constraint:
 	 *     {NullLiteralExpCS}
+	 * </pre>
 	 */
 	protected void sequence_NullLiteralExpCS(ISerializationContext context, NullLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -882,6 +942,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns NumberLiteralExpCS
 	 *     NumberLiteralExpCS returns NumberLiteralExpCS
@@ -893,6 +954,7 @@
 	 *
 	 * Constraint:
 	 *     symbol=NUMBER_LITERAL
+	 * </pre>
 	 */
 	protected void sequence_NumberLiteralExpCS(ISerializationContext context, NumberLiteralExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -906,11 +968,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PatternExpCS returns PatternExpCS
 	 *
 	 * Constraint:
 	 *     (patternVariableName=UnrestrictedName? ownedPatternType=TypeExpCS)
+	 * </pre>
 	 */
 	protected void sequence_PatternExpCS(ISerializationContext context, PatternExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -918,11 +982,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrefixedLetExpCS returns PrefixExpCS
 	 *
 	 * Constraint:
 	 *     (name=UnaryOperatorName ownedRight=PrefixedLetExpCS)
+	 * </pre>
 	 */
 	protected void sequence_PrefixedLetExpCS(ISerializationContext context, PrefixExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -939,12 +1005,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns PrefixExpCS
 	 *     NavigatingArgExpCS returns PrefixExpCS
 	 *
 	 * Constraint:
 	 *     ((name=UnaryOperatorName ownedRight=PrefixedLetExpCS) | (name=UnaryOperatorName ownedRight=PrefixedPrimaryExpCS))
+	 * </pre>
 	 */
 	protected void sequence_PrefixedLetExpCS_PrefixedPrimaryExpCS(ISerializationContext context, PrefixExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -952,12 +1020,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS.InfixExpCS_0_1_0 returns PrefixExpCS
 	 *     PrefixedPrimaryExpCS returns PrefixExpCS
 	 *
 	 * Constraint:
 	 *     (name=UnaryOperatorName ownedRight=PrefixedPrimaryExpCS)
+	 * </pre>
 	 */
 	protected void sequence_PrefixedPrimaryExpCS(ISerializationContext context, PrefixExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -974,6 +1044,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveTypeCS returns PrimitiveTypeRefCS
 	 *     TypeLiteralCS returns PrimitiveTypeRefCS
@@ -981,6 +1052,7 @@
 	 *
 	 * Constraint:
 	 *     name=PrimitiveTypeIdentifier
+	 * </pre>
 	 */
 	protected void sequence_PrimitiveTypeCS(ISerializationContext context, PrimitiveTypeRefCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -994,11 +1066,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns PrimitiveTypeRefCS
 	 *
 	 * Constraint:
 	 *     (name=PrimitiveTypeIdentifier ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_PrimitiveTypeCS_TypeExpCS(ISerializationContext context, PrimitiveTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1006,11 +1080,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeLiteralWithMultiplicityCS returns PrimitiveTypeRefCS
 	 *
 	 * Constraint:
 	 *     (name=PrimitiveTypeIdentifier ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_PrimitiveTypeCS_TypeLiteralWithMultiplicityCS(ISerializationContext context, PrimitiveTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1018,6 +1094,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     RoundBracketedClauseCS returns RoundBracketedClauseCS
 	 *
@@ -1026,6 +1103,7 @@
 	 *         ownedArguments+=NavigatingArgCS
 	 *         (ownedArguments+=NavigatingCommaArgCS | ownedArguments+=NavigatingSemiArgCS | ownedArguments+=NavigatingBarArgCS)*
 	 *     )?
+	 * </pre>
 	 */
 	protected void sequence_RoundBracketedClauseCS(ISerializationContext context, RoundBracketedClauseCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1033,6 +1111,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ExpCS returns SelfExpCS
 	 *     ExpCS.InfixExpCS_0_1_0 returns SelfExpCS
@@ -1043,6 +1122,7 @@
 	 *
 	 * Constraint:
 	 *     {SelfExpCS}
+	 * </pre>
 	 */
 	protected void sequence_SelfExpCS(ISerializationContext context, SelfExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1050,6 +1130,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ShadowPartCS returns ShadowPartCS
 	 *
@@ -1058,6 +1139,7 @@
 	 *         (referredProperty=[Property|UnrestrictedName] (ownedInitExpression=ExpCS | ownedInitExpression=PatternExpCS)) |
 	 *         ownedInitExpression=StringLiteralExpCS
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_ShadowPartCS(ISerializationContext context, ShadowPartCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1065,11 +1147,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     SimplePathNameCS returns PathNameCS
 	 *
 	 * Constraint:
 	 *     ownedPathElements+=FirstPathElementCS
+	 * </pre>
 	 */
 	protected void sequence_SimplePathNameCS(ISerializationContext context, PathNameCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1077,11 +1161,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     SquareBracketedClauseCS returns SquareBracketedClauseCS
 	 *
 	 * Constraint:
 	 *     (ownedTerms+=ExpCS ownedTerms+=ExpCS*)
+	 * </pre>
 	 */
 	protected void sequence_SquareBracketedClauseCS(ISerializationContext context, SquareBracketedClauseCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1089,6 +1175,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns StringLiteralExpCS
 	 *     StringLiteralExpCS returns StringLiteralExpCS
@@ -1100,6 +1187,7 @@
 	 *
 	 * Constraint:
 	 *     segments+=StringLiteral+
+	 * </pre>
 	 */
 	protected void sequence_StringLiteralExpCS(ISerializationContext context, StringLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1107,6 +1195,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TupleLiteralExpCS returns TupleLiteralExpCS
 	 *     ExpCS returns TupleLiteralExpCS
@@ -1117,6 +1206,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedParts+=TupleLiteralPartCS ownedParts+=TupleLiteralPartCS*)
+	 * </pre>
 	 */
 	protected void sequence_TupleLiteralExpCS(ISerializationContext context, TupleLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1124,11 +1214,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TupleLiteralPartCS returns TupleLiteralPartCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName ownedType=TypeExpCS? ownedInitExpression=ExpCS)
+	 * </pre>
 	 */
 	protected void sequence_TupleLiteralPartCS(ISerializationContext context, TupleLiteralPartCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1136,11 +1228,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TuplePartCS returns TuplePartCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName ownedType=TypeExpCS)
+	 * </pre>
 	 */
 	protected void sequence_TuplePartCS(ISerializationContext context, TuplePartCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -1157,6 +1251,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TupleTypeCS returns TupleTypeCS
 	 *     TypeLiteralCS returns TupleTypeCS
@@ -1164,6 +1259,7 @@
 	 *
 	 * Constraint:
 	 *     (name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)?)
+	 * </pre>
 	 */
 	protected void sequence_TupleTypeCS(ISerializationContext context, TupleTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1171,11 +1267,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns TupleTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TupleTypeCS_TypeExpCS(ISerializationContext context, TupleTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1183,11 +1281,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeLiteralWithMultiplicityCS returns TupleTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TupleTypeCS_TypeLiteralWithMultiplicityCS(ISerializationContext context, TupleTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1195,11 +1295,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeExpCS returns TypeNameExpCS
 	 *
 	 * Constraint:
 	 *     (ownedPathName=PathNameCS (ownedCurlyBracketedClause=CurlyBracketedClauseCS ownedPatternGuard=ExpCS?)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TypeExpCS_TypeNameExpCS(ISerializationContext context, TypeNameExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1207,6 +1309,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeLiteralExpCS returns TypeLiteralExpCS
 	 *     ExpCS returns TypeLiteralExpCS
@@ -1217,6 +1320,7 @@
 	 *
 	 * Constraint:
 	 *     ownedType=TypeLiteralWithMultiplicityCS
+	 * </pre>
 	 */
 	protected void sequence_TypeLiteralExpCS(ISerializationContext context, TypeLiteralExpCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -1230,12 +1334,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypeNameExpCS returns TypeNameExpCS
 	 *     TypeExpWithoutMultiplicityCS returns TypeNameExpCS
 	 *
 	 * Constraint:
 	 *     (ownedPathName=PathNameCS (ownedCurlyBracketedClause=CurlyBracketedClauseCS ownedPatternGuard=ExpCS?)?)
+	 * </pre>
 	 */
 	protected void sequence_TypeNameExpCS(ISerializationContext context, TypeNameExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1243,11 +1349,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     URIFirstPathElementCS returns PathElementCS
 	 *
 	 * Constraint:
 	 *     referredElement=[NamedElement|UnrestrictedName]
+	 * </pre>
 	 */
 	protected void sequence_URIFirstPathElementCS(ISerializationContext context, PathElementCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -1261,11 +1369,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     URIFirstPathElementCS returns PathElementWithURICS
 	 *
 	 * Constraint:
 	 *     referredElement=[Namespace|URI]
+	 * </pre>
 	 */
 	protected void sequence_URIFirstPathElementCS(ISerializationContext context, PathElementWithURICS semanticObject) {
 		if (errorAcceptor != null) {
@@ -1279,11 +1389,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     URIPathNameCS returns PathNameCS
 	 *
 	 * Constraint:
 	 *     (ownedPathElements+=URIFirstPathElementCS ownedPathElements+=NextPathElementCS*)
+	 * </pre>
 	 */
 	protected void sequence_URIPathNameCS(ISerializationContext context, PathNameCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -1291,6 +1403,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PrimitiveLiteralExpCS returns UnlimitedNaturalLiteralExpCS
 	 *     UnlimitedNaturalLiteralExpCS returns UnlimitedNaturalLiteralExpCS
@@ -1302,6 +1415,7 @@
 	 *
 	 * Constraint:
 	 *     {UnlimitedNaturalLiteralExpCS}
+	 * </pre>
 	 */
 	protected void sequence_UnlimitedNaturalLiteralExpCS(ISerializationContext context, UnlimitedNaturalLiteralExpCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
diff --git a/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSyntacticSequencer.java b/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSyntacticSequencer.java
index 247a029..71fd5bb 100644
--- a/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSyntacticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.essentialocl/src-gen/org/eclipse/ocl/xtext/essentialocl/serializer/AbstractEssentialOCLSyntacticSequencer.java
@@ -88,17 +88,21 @@
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedKey=ExpCS (ambiguity) ownedValue=ExpCS
+
+	 * </pre>
 	 */
 	protected void emit_MapLiteralPartCS_LessThanSignHyphenMinusKeyword_1_1_or_WithKeyword_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     '|?'?
 	 *
@@ -108,86 +112,109 @@
 	 *     stringBounds='+' (ambiguity) ']' (rule end)
 	 *     stringBounds='?' (ambiguity) ']' (rule end)
 	 *     upperBound=UPPER (ambiguity) ']' (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_MultiplicityCS_VerticalLineQuestionMarkKeyword_2_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_0_0_1_or_WithKeyword_0_1_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_1_2_0_1_or_WithKeyword_0_1_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_2_1_0_1_or_WithKeyword_0_1_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_0_0_1_or_WithKeyword_2_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_1_2_0_1_or_WithKeyword_2_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_2_1_0_1_or_WithKeyword_2_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('(' ')')?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     name='Tuple' (ambiguity) (rule end)
 	 *     name='Tuple' (ambiguity) ownedMultiplicity=MultiplicityCS
+
+	 * </pre>
 	 */
 	protected void emit_TupleTypeCS___LeftParenthesisKeyword_1_0_RightParenthesisKeyword_1_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
diff --git a/plugins/org.eclipse.ocl.xtext.markup/src-gen/org/eclipse/ocl/xtext/markup/serializer/AbstractMarkupSemanticSequencer.java b/plugins/org.eclipse.ocl.xtext.markup/src-gen/org/eclipse/ocl/xtext/markup/serializer/AbstractMarkupSemanticSequencer.java
index efa3e79..52822be 100644
--- a/plugins/org.eclipse.ocl.xtext.markup/src-gen/org/eclipse/ocl/xtext/markup/serializer/AbstractMarkupSemanticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.markup/src-gen/org/eclipse/ocl/xtext/markup/serializer/AbstractMarkupSemanticSequencer.java
@@ -96,12 +96,14 @@
 	}
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns BulletElement
 	 *     BulletElement returns BulletElement
 	 *
 	 * Constraint:
 	 *     (level=INT? elements+=MarkupElement*)
+	 * </pre>
 	 */
 	protected void sequence_BulletElement(ISerializationContext context, BulletElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -109,12 +111,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns FigureElement
 	 *     FigureElement returns FigureElement
 	 *
 	 * Constraint:
 	 *     (def=ID? src=STRING (alt=STRING (requiredWidth=INT requiredHeight=INT?)?)?)
+	 * </pre>
 	 */
 	protected void sequence_FigureElement(ISerializationContext context, FigureElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -122,12 +126,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns FigureRefElement
 	 *     FigureRefElement returns FigureRefElement
 	 *
 	 * Constraint:
 	 *     ref=[FigureElement|ID]
+	 * </pre>
 	 */
 	protected void sequence_FigureRefElement(ISerializationContext context, FigureRefElement semanticObject) {
 		if (errorAcceptor != null) {
@@ -141,12 +147,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns FontElement
 	 *     FontElement returns FontElement
 	 *
 	 * Constraint:
 	 *     ((font='b' | font='e') elements+=MarkupElement*)
+	 * </pre>
 	 */
 	protected void sequence_FontElement(ISerializationContext context, FontElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -154,12 +162,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns FootnoteElement
 	 *     FootnoteElement returns FootnoteElement
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement*
+	 * </pre>
 	 */
 	protected void sequence_FootnoteElement(ISerializationContext context, FootnoteElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -167,12 +177,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns HeadingElement
 	 *     HeadingElement returns HeadingElement
 	 *
 	 * Constraint:
 	 *     (level=INT? elements+=MarkupElement*)
+	 * </pre>
 	 */
 	protected void sequence_HeadingElement(ISerializationContext context, HeadingElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -180,11 +192,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     Markup returns Markup
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement+
+	 * </pre>
 	 */
 	protected void sequence_Markup(ISerializationContext context, Markup semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -192,12 +206,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns NewLineElement
 	 *     NewLineElement returns NewLineElement
 	 *
 	 * Constraint:
 	 *     text=NL
+	 * </pre>
 	 */
 	protected void sequence_NewLineElement(ISerializationContext context, NewLineElement semanticObject) {
 		if (errorAcceptor != null) {
@@ -211,12 +227,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns NullElement
 	 *     NullElement returns NullElement
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement*
+	 * </pre>
 	 */
 	protected void sequence_NullElement(ISerializationContext context, NullElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -224,12 +242,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns OCLCodeElement
 	 *     OCLCodeElement returns OCLCodeElement
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement*
+	 * </pre>
 	 */
 	protected void sequence_OCLCodeElement(ISerializationContext context, OCLCodeElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -237,12 +257,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns OCLEvalElement
 	 *     OCLEvalElement returns OCLEvalElement
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement*
+	 * </pre>
 	 */
 	protected void sequence_OCLEvalElement(ISerializationContext context, OCLEvalElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -250,12 +272,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns OCLTextElement
 	 *     OCLTextElement returns OCLTextElement
 	 *
 	 * Constraint:
 	 *     elements+=MarkupElement*
+	 * </pre>
 	 */
 	protected void sequence_OCLTextElement(ISerializationContext context, OCLTextElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -263,6 +287,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     MarkupElement returns TextElement
 	 *     TextElement returns TextElement
@@ -280,6 +305,7 @@
 	 *         )+ |
 	 *         text+=MarkupKeyword
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_TextElement(ISerializationContext context, TextElement semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
diff --git a/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSemanticSequencer.java b/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSemanticSequencer.java
index 5c671e3..cbbbd51 100644
--- a/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSemanticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSemanticSequencer.java
@@ -504,6 +504,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     AnnotationCS returns AnnotationCS
 	 *     AnnotationElementCS returns AnnotationCS
@@ -515,6 +516,7 @@
 	 *         ownedAnnotations+=AnnotationElementCS?
 	 *         ((ownedContents+=ModelElementCS | ownedReferences+=ModelElementRefCS)? ownedAnnotations+=AnnotationElementCS?)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_AnnotationCS(ISerializationContext context, AnnotationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -522,6 +524,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     AttributeCS returns AttributeCS
 	 *     ModelElementCS returns AttributeCS
@@ -554,6 +557,7 @@
 	 *         ownedAnnotations+=AnnotationElementCS?
 	 *         ((ownedDefaultExpressions+=SpecificationCS | ownedDefaultExpressions+=SpecificationCS)? ownedAnnotations+=AnnotationElementCS?)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_AttributeCS(ISerializationContext context, AttributeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -561,6 +565,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedMultiplicityRefCS returns CollectionTypeCS
 	 *
@@ -570,6 +575,7 @@
 	 *         (ownedType=TypeExpWithoutMultiplicityCS ownedCollectionMultiplicity=MultiplicityCS?)?
 	 *         ownedMultiplicity=MultiplicityCS?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_CollectionTypeCS_TypedMultiplicityRefCS(ISerializationContext context, CollectionTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -577,6 +583,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ClassCS returns DataTypeCS
 	 *     DataTypeCS returns DataTypeCS
@@ -591,6 +598,7 @@
 	 *         isSerializable?='serializable'?
 	 *         (ownedAnnotations+=AnnotationElementCS | ownedConstraints+=InvariantConstraintCS)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_DataTypeCS(ISerializationContext context, DataTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -598,6 +606,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     DetailCS returns DetailCS
 	 *
@@ -607,6 +616,7 @@
 	 *         values+=SINGLE_QUOTED_STRING?
 	 *         (values+=ML_SINGLE_QUOTED_STRING? values+=SINGLE_QUOTED_STRING?)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_DetailCS(ISerializationContext context, DetailCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -614,12 +624,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     AnnotationElementCS returns DocumentationCS
 	 *     DocumentationCS returns DocumentationCS
 	 *
 	 * Constraint:
 	 *     (value=SINGLE_QUOTED_STRING? (ownedDetails+=DetailCS ownedDetails+=DetailCS*)?)
+	 * </pre>
 	 */
 	protected void sequence_DocumentationCS(ISerializationContext context, DocumentationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -627,6 +639,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ClassCS returns EnumerationCS
 	 *     EnumerationCS returns EnumerationCS
@@ -640,6 +653,7 @@
 	 *         isSerializable?='serializable'?
 	 *         (ownedAnnotations+=AnnotationElementCS | ownedLiterals+=EnumerationLiteralCS | ownedConstraints+=InvariantConstraintCS)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_EnumerationCS(ISerializationContext context, EnumerationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -647,12 +661,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     EnumerationLiteralCS returns EnumerationLiteralCS
 	 *     ModelElementCS returns EnumerationLiteralCS
 	 *
 	 * Constraint:
 	 *     ((name=UnrestrictedName | name=EnumerationLiteralName) literal=SINGLE_QUOTED_STRING? value=SIGNED? ownedAnnotations+=AnnotationElementCS*)
+	 * </pre>
 	 */
 	protected void sequence_EnumerationLiteralCS(ISerializationContext context, EnumerationLiteralCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -660,6 +676,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ImplicitOppositeCS returns ImplicitOppositeCS
 	 *
@@ -669,6 +686,7 @@
 	 *         ownedType=TypedMultiplicityRefCS
 	 *         (qualifiers+='ordered' | qualifiers+='!ordered' | qualifiers+='unique' | qualifiers+='!unique')*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_ImplicitOppositeCS(ISerializationContext context, ImplicitOppositeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -676,11 +694,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ImportCS returns ImportCS
 	 *
 	 * Constraint:
 	 *     (name=UnrestrictedName? ownedPathName=URIPathNameCS isAll?='::*'?)
+	 * </pre>
 	 */
 	protected void sequence_ImportCS(ISerializationContext context, ImportCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -688,6 +708,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     InvariantConstraintCS returns OCLinEcoreConstraintCS
 	 *
@@ -698,6 +719,7 @@
 	 *         (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)?
 	 *         ownedSpecification=SpecificationCS?
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_InvariantConstraintCS(ISerializationContext context, OCLinEcoreConstraintCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -705,11 +727,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedMultiplicityRefCS returns MapTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Map' (ownedKeyType=TypeExpCS ownedValueType=TypeExpCS)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_MapTypeCS_TypedMultiplicityRefCS(ISerializationContext context, MapTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -717,11 +741,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ModelElementRefCS returns ModelElementRefCS
 	 *
 	 * Constraint:
 	 *     ownedPathName=PathNameCS
+	 * </pre>
 	 */
 	protected void sequence_ModelElementRefCS(ISerializationContext context, ModelElementRefCS semanticObject) {
 		if (errorAcceptor != null) {
@@ -735,6 +761,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ModelElementCS returns OperationCS
 	 *     OperationCS returns OperationCS
@@ -747,7 +774,7 @@
 	 *         (ownedParameters+=ParameterCS ownedParameters+=ParameterCS*)?
 	 *         ownedType=TypedMultiplicityRefCS?
 	 *         (ownedExceptions+=TypedRefCS ownedExceptions+=TypedRefCS*)?
-	 *         qualifiers+='!transient'?
+	 *         qualifiers+='!unique'?
 	 *         (
 	 *             (
 	 *                 qualifiers+='derived' |
@@ -755,10 +782,10 @@
 	 *                 qualifiers+='ordered' |
 	 *                 qualifiers+='!ordered' |
 	 *                 qualifiers+='transient' |
-	 *                 qualifiers+='unique' |
-	 *                 qualifiers+='!unique'
+	 *                 qualifiers+='!transient' |
+	 *                 qualifiers+='unique'
 	 *             )?
-	 *             qualifiers+='!transient'?
+	 *             qualifiers+='!unique'?
 	 *         )*
 	 *         (
 	 *             ownedAnnotations+=AnnotationElementCS |
@@ -767,6 +794,7 @@
 	 *             ownedPostconditions+=PostconditionConstraintCS
 	 *         )*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_OperationCS(ISerializationContext context, OperationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -774,6 +802,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ModelElementCS returns PackageCS
 	 *     PackageCS returns PackageCS
@@ -785,6 +814,7 @@
 	 *         nsURI=URI?
 	 *         (ownedAnnotations+=AnnotationElementCS | ownedPackages+=PackageCS | ownedClasses+=ClassCS)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_PackageCS(ISerializationContext context, PackageCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -792,6 +822,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ParameterCS returns ParameterCS
 	 *
@@ -802,6 +833,7 @@
 	 *         (qualifiers+='ordered' | qualifiers+='!ordered' | qualifiers+='unique' | qualifiers+='!unique')*
 	 *         ownedAnnotations+=AnnotationElementCS*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_ParameterCS(ISerializationContext context, ParameterCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -809,11 +841,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PostconditionConstraintCS returns OCLinEcoreConstraintCS
 	 *
 	 * Constraint:
 	 *     (stereotype='postcondition' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS?)
+	 * </pre>
 	 */
 	protected void sequence_PostconditionConstraintCS(ISerializationContext context, OCLinEcoreConstraintCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -821,11 +855,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     PreconditionConstraintCS returns OCLinEcoreConstraintCS
 	 *
 	 * Constraint:
 	 *     (stereotype='precondition' (name=UnrestrictedName ownedMessageSpecification=SpecificationCS?)? ownedSpecification=SpecificationCS?)
+	 * </pre>
 	 */
 	protected void sequence_PreconditionConstraintCS(ISerializationContext context, OCLinEcoreConstraintCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -833,11 +869,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedMultiplicityRefCS returns PrimitiveTypeRefCS
 	 *
 	 * Constraint:
 	 *     (name=PrimitiveTypeIdentifier ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_PrimitiveTypeCS_TypedMultiplicityRefCS(ISerializationContext context, PrimitiveTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -845,6 +883,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ModelElementCS returns ReferenceCS
 	 *     ReferenceCS returns ReferenceCS
@@ -857,13 +896,13 @@
 	 *         referredOpposite=[Property|UnrestrictedName]?
 	 *         ownedType=TypedMultiplicityRefCS?
 	 *         default=SINGLE_QUOTED_STRING?
-	 *         qualifiers+='ordered'?
+	 *         qualifiers+='composes'?
 	 *         (
 	 *             (
-	 *                 qualifiers+='composes' |
 	 *                 qualifiers+='!composes' |
 	 *                 qualifiers+='derived' |
 	 *                 qualifiers+='!derived' |
+	 *                 qualifiers+='ordered' |
 	 *                 qualifiers+='!ordered' |
 	 *                 qualifiers+='readonly' |
 	 *                 qualifiers+='!readonly' |
@@ -878,7 +917,7 @@
 	 *                 qualifiers+='volatile' |
 	 *                 qualifiers+='!volatile'
 	 *             )?
-	 *             qualifiers+='ordered'?
+	 *             qualifiers+='composes'?
 	 *         )*
 	 *         (
 	 *             (
@@ -890,6 +929,7 @@
 	 *             (referredKeys+=[Property|UnrestrictedName] referredKeys+=[Property|UnrestrictedName]*)?
 	 *         )+
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_ReferenceCS(ISerializationContext context, ReferenceCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -897,11 +937,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     SpecificationCS returns ExpSpecificationCS
 	 *
 	 * Constraint:
 	 *     (ownedExpression=ExpCS | exprString=UNQUOTED_STRING)
+	 * </pre>
 	 */
 	protected void sequence_SpecificationCS(ISerializationContext context, ExpSpecificationCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -909,6 +951,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     ClassCS returns StructuredClassCS
 	 *     ModelElementCS returns StructuredClassCS
@@ -924,6 +967,7 @@
 	 *         isInterface?='interface'?
 	 *         (ownedAnnotations+=AnnotationElementCS | ownedOperations+=OperationCS | ownedProperties+=StructuralFeatureCS | ownedConstraints+=InvariantConstraintCS)*
 	 *     )
+	 * </pre>
 	 */
 	protected void sequence_StructuredClassCS(ISerializationContext context, StructuredClassCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -931,12 +975,14 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     AnnotationElementCS returns SysMLCS
 	 *     SysMLCS returns SysMLCS
 	 *
 	 * Constraint:
 	 *     (ownedDetails+=DetailCS | ownedDetails+=DetailCS+)?
+	 * </pre>
 	 */
 	protected void sequence_SysMLCS(ISerializationContext context, SysMLCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -944,11 +990,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TemplateSignatureCS returns TemplateSignatureCS
 	 *
 	 * Constraint:
 	 *     ((ownedParameters+=TypeParameterCS ownedParameters+=TypeParameterCS*) | (ownedParameters+=TypeParameterCS ownedParameters+=TypeParameterCS*))
+	 * </pre>
 	 */
 	protected void sequence_TemplateSignatureCS(ISerializationContext context, TemplateSignatureCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -956,11 +1004,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TopLevelCS returns TopLevelCS
 	 *
 	 * Constraint:
 	 *     (ownedImports+=ImportCS* ownedPackages+=PackageCS*)
+	 * </pre>
 	 */
 	protected void sequence_TopLevelCS(ISerializationContext context, TopLevelCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -968,11 +1018,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedMultiplicityRefCS returns TupleTypeCS
 	 *
 	 * Constraint:
 	 *     (name='Tuple' (ownedParts+=TuplePartCS ownedParts+=TuplePartCS*)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TupleTypeCS_TypedMultiplicityRefCS(ISerializationContext context, TupleTypeCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -980,11 +1032,13 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedMultiplicityRefCS returns TypedTypeRefCS
 	 *
 	 * Constraint:
 	 *     (ownedPathName=PathNameCS (ownedBinding=TemplateBindingCS | ownedBinding=TemplateBindingCS)? ownedMultiplicity=MultiplicityCS?)
+	 * </pre>
 	 */
 	protected void sequence_TypedMultiplicityRefCS_TypedTypeRefCS(ISerializationContext context, TypedTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
@@ -992,6 +1046,7 @@
 
 
 	/**
+	 * <pre>
 	 * Contexts:
 	 *     TypedRefCS returns TypedTypeRefCS
 	 *     TypedTypeRefCS returns TypedTypeRefCS
@@ -999,6 +1054,7 @@
 	 *
 	 * Constraint:
 	 *     (ownedPathName=PathNameCS (ownedBinding=TemplateBindingCS | ownedBinding=TemplateBindingCS)?)
+	 * </pre>
 	 */
 	protected void sequence_TypedTypeRefCS(ISerializationContext context, TypedTypeRefCS semanticObject) {
 		genericSequencer.createSequence(context, semanticObject);
diff --git a/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSyntacticSequencer.java b/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSyntacticSequencer.java
index 53fd8df..718b163 100644
--- a/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSyntacticSequencer.java
+++ b/plugins/org.eclipse.ocl.xtext.oclinecore/src-gen/org/eclipse/ocl/xtext/oclinecore/serializer/AbstractOCLinEcoreSyntacticSequencer.java
@@ -308,6 +308,7 @@
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ','?
 	 *
@@ -984,12 +985,15 @@
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='unique'
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='unsettable'
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='volatile'
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS_CommaKeyword_5_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' (('initial' UnrestrictedName? ':' ';') | ('derivation' UnrestrictedName? ':' ';'))* '}') | ';'
 	 *
@@ -1013,12 +1017,15 @@
 	 *     qualifiers+='unique' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='unsettable' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='volatile' ','? '}' (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS_SemicolonKeyword_6_1_or___LeftCurlyBracketKeyword_6_0_0_____DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4___or___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4____a_RightCurlyBracketKeyword_6_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -1254,12 +1261,15 @@
 	 *         (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' (ambiguity) ':')*
 	 *         ownedDefaultExpressions+=SpecificationCS
 	 *     )
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS_UnrestrictedNameParserRuleCall_6_0_1_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -1495,24 +1505,30 @@
 	 *         (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' (ambiguity) ':')*
 	 *         ownedDefaultExpressions+=SpecificationCS
 	 *     )
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS_UnrestrictedNameParserRuleCall_6_0_1_2_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('derivation' UnrestrictedName? ':' ';' ('initial' UnrestrictedName? ':' ';')*)*
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('initial' UnrestrictedName? ':' ';')* (ambiguity) '}' (rule end)
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('initial' UnrestrictedName? ':' ';')* (ambiguity) ownedAnnotations+=AnnotationElementCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('derivation' UnrestrictedName? ':' ';')*
 	 *
@@ -1539,12 +1555,15 @@
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='unsettable' ','? '}' '{' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='volatile' ','? '}' '{' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (
 	  *         ('derivation' UnrestrictedName? ':' (';' 'derivation' UnrestrictedName? ':')*) |
@@ -1568,24 +1587,30 @@
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2___SemicolonKeyword_6_0_1_2_4_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__a___or_____DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2___SemicolonKeyword_6_0_1_2_4_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__a_SemicolonKeyword_6_0_1_2_4__q___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__p_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2___SemicolonKeyword_6_0_1_2_4_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__a___SemicolonKeyword_6_0_1_2_4___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__p_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2___SemicolonKeyword_6_0_1_2_4_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__a__a__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('initial' UnrestrictedName? ':' ';' ('derivation' UnrestrictedName? ':' ';')*)*
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('derivation' UnrestrictedName? ':' ';')* (ambiguity) '}' (rule end)
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('derivation' UnrestrictedName? ':' ';')* (ambiguity) ownedAnnotations+=AnnotationElementCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('initial' UnrestrictedName? ':' ';')*
 	 *
@@ -1612,12 +1637,15 @@
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='unsettable' ','? '}' '{' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='volatile' ','? '}' '{' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (
 	  *         ('initial' UnrestrictedName? ':' (';' 'initial' UnrestrictedName? ':')*) |
@@ -1641,12 +1669,15 @@
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2___SemicolonKeyword_6_0_1_1_4_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__a___or_____InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2___SemicolonKeyword_6_0_1_1_4_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__a_SemicolonKeyword_6_0_1_1_4__q___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__p_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2___SemicolonKeyword_6_0_1_1_4_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__a___SemicolonKeyword_6_0_1_1_4___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__p_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2___SemicolonKeyword_6_0_1_1_4_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__a__a__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':')*
 	 *
@@ -1671,23 +1702,29 @@
 	 *     qualifiers+='unique' ','? '}' '{' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='unsettable' ','? '}' '{' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='volatile' ','? '}' '{' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___SemicolonKeyword_6_0_1_1_4___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__a_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':')+
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___SemicolonKeyword_6_0_1_1_4___DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4__a_InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':')*
 	 *
@@ -1712,23 +1749,29 @@
 	 *     qualifiers+='unique' ','? '}' '{' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='unsettable' ','? '}' '{' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     qualifiers+='volatile' ','? '}' '{' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___SemicolonKeyword_6_0_1_2_4___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__a_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':')+
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS___SemicolonKeyword_6_0_1_2_4___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4__a_DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (('initial' UnrestrictedName? ':' ';') | ('derivation' UnrestrictedName? ':' ';'))*
 	 *
@@ -1754,12 +1797,15 @@
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     qualifiers+='unsettable' ','? '}' '{' (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     qualifiers+='volatile' ','? '}' '{' (ambiguity) ownedAnnotations+=AnnotationElementCS
+
+	 * </pre>
 	 */
 	protected void emit_AttributeCS_____DerivationKeyword_6_0_1_2_0_UnrestrictedNameParserRuleCall_6_0_1_2_1_q_ColonKeyword_6_0_1_2_2_SemicolonKeyword_6_0_1_2_4___or___InitialKeyword_6_0_1_1_0_UnrestrictedNameParserRuleCall_6_0_1_1_1_q_ColonKeyword_6_0_1_1_2_SemicolonKeyword_6_0_1_1_4____a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}') | ';'
 	 *
@@ -1768,12 +1814,15 @@
 	 *     isSerializable?='serializable' '}' (ambiguity) (rule end)
 	 *     name=UnrestrictedName ('{' '!serializable'? '}')? (ambiguity) (rule end)
 	 *     ownedSignature=TemplateSignatureCS ('{' '!serializable'? '}')? (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_DataTypeCS_SemicolonKeyword_6_1_or___LeftCurlyBracketKeyword_6_0_0_RightCurlyBracketKeyword_6_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '!serializable'? '}')?
 	 *
@@ -1787,12 +1836,15 @@
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) '{' ownedAnnotations+=AnnotationElementCS
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) '{' ownedConstraints+=InvariantConstraintCS
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) (('{' '}') | ';') (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_DataTypeCS___LeftCurlyBracketKeyword_5_0_SerializableKeyword_5_1_1_q_RightCurlyBracketKeyword_5_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}') | ';'
 	 *
@@ -1801,12 +1853,15 @@
 	 *     isSerializable?='serializable' '}' (ambiguity) (rule end)
 	 *     name=UnrestrictedName ('{' '!serializable'? '}')? (ambiguity) (rule end)
 	 *     ownedSignature=TemplateSignatureCS ('{' '!serializable'? '}')? (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_EnumerationCS_SemicolonKeyword_5_1_or___LeftCurlyBracketKeyword_5_0_0_RightCurlyBracketKeyword_5_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '!serializable'? '}')?
 	 *
@@ -1823,12 +1878,15 @@
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) '{' ownedConstraints+=InvariantConstraintCS
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) '{' ownedLiterals+=EnumerationLiteralCS
 	 *     ownedSignature=TemplateSignatureCS (ambiguity) (('{' '}') | ';') (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_EnumerationCS___LeftCurlyBracketKeyword_4_0_SerializableKeyword_4_1_1_q_RightCurlyBracketKeyword_4_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}') | ';'
 	 *
@@ -1837,12 +1895,15 @@
 	 *     name=EnumerationLiteralName (ambiguity) (rule end)
 	 *     name=UnrestrictedName (ambiguity) (rule end)
 	 *     value=SIGNED (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_EnumerationLiteralCS_SemicolonKeyword_3_1_or___LeftCurlyBracketKeyword_3_0_0_RightCurlyBracketKeyword_3_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ','?
 	 *
@@ -1867,24 +1928,30 @@
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='!unique'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='ordered'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='unique'
+
+	 * </pre>
 	 */
 	protected void emit_ImplicitOppositeCS_CommaKeyword_4_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     'import' | 'library'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     (rule start) (ambiguity) name=UnrestrictedName
 	 *     (rule start) (ambiguity) ownedPathName=URIPathNameCS
+
+	 * </pre>
 	 */
 	protected void emit_ImportCS_ImportKeyword_0_0_or_LibraryKeyword_0_1(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (':' ';') | ';'
 	 *
@@ -1892,23 +1959,29 @@
 	 *     name=UnrestrictedName (ambiguity) (rule end)
 	 *     ownedMessageSpecification=SpecificationCS ')' (ambiguity) (rule end)
 	 *     stereotype='invariant' (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_InvariantConstraintCS_SemicolonKeyword_3_1_or___ColonKeyword_3_0_0_SemicolonKeyword_3_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedKey=ExpCS (ambiguity) ownedValue=ExpCS
+
+	 * </pre>
 	 */
 	protected void emit_MapLiteralPartCS_LessThanSignHyphenMinusKeyword_1_1_or_WithKeyword_1_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     '|?'?
 	 *
@@ -1918,80 +1991,101 @@
 	 *     stringBounds='+' (ambiguity) ']' (rule end)
 	 *     stringBounds='?' (ambiguity) ']' (rule end)
 	 *     upperBound=UPPER (ambiguity) ']' (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_MultiplicityCS_VerticalLineQuestionMarkKeyword_2_0_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_0_0_1_or_WithKeyword_0_1_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_1_2_0_1_or_WithKeyword_0_1_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingArgCS_LessThanSignHyphenMinusKeyword_0_1_2_1_0_1_or_WithKeyword_0_1_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_0_0_1_or_WithKeyword_2_0_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_1_2_0_1_or_WithKeyword_2_1_2_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
-	 *     'with' | '<-'
+	 *     'with' | '&lt;-'
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedNameExpression=NavigatingArgExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
 	 *     ownedType=TypeExpCS (ambiguity) ownedCoIterator=CoIteratorVariableCS
+
+	 * </pre>
 	 */
 	protected void emit_NavigatingCommaArgCS_LessThanSignHyphenMinusKeyword_2_2_1_0_1_or_WithKeyword_2_2_1_0_0(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ','?
 	 *
@@ -2100,12 +2194,15 @@
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='ordered'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='transient'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='unique'
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS_CommaKeyword_9_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' ('body' UnrestrictedName? ':' ';')* '}') | ';'
 	 *
@@ -2122,12 +2219,15 @@
 	 *     qualifiers+='ordered' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='transient' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='unique' ','? '}' (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS_SemicolonKeyword_10_1_or___LeftCurlyBracketKeyword_10_0_0___BodyKeyword_10_0_1_2_0_UnrestrictedNameParserRuleCall_10_0_1_2_1_q_ColonKeyword_10_0_1_2_2_SemicolonKeyword_10_0_1_2_4__a_RightCurlyBracketKeyword_10_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -2147,12 +2247,15 @@
 	 *     qualifiers+='ordered' ','? '}' '{' 'body' (ambiguity) ':' (';' 'body' (ambiguity) ':')* ownedBodyExpressions+=SpecificationCS
 	 *     qualifiers+='transient' ','? '}' '{' 'body' (ambiguity) ':' (';' 'body' (ambiguity) ':')* ownedBodyExpressions+=SpecificationCS
 	 *     qualifiers+='unique' ','? '}' '{' 'body' (ambiguity) ':' (';' 'body' (ambiguity) ':')* ownedBodyExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS_UnrestrictedNameParserRuleCall_10_0_1_2_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('body' UnrestrictedName? ':' ';')*
 	 *
@@ -2209,12 +2312,15 @@
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) ownedPostconditions+=PostconditionConstraintCS
 	 *     qualifiers+='unique' ','? '}' '{' (ambiguity) ownedPreconditions+=PreconditionConstraintCS
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS___BodyKeyword_10_0_1_2_0_UnrestrictedNameParserRuleCall_10_0_1_2_1_q_ColonKeyword_10_0_1_2_2_SemicolonKeyword_10_0_1_2_4__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' 'body' UnrestrictedName? ':')*
 	 *
@@ -2234,23 +2340,29 @@
 	 *     qualifiers+='ordered' ','? '}' '{' 'body' UnrestrictedName? ':' (ambiguity) ownedBodyExpressions+=SpecificationCS
 	 *     qualifiers+='transient' ','? '}' '{' 'body' UnrestrictedName? ':' (ambiguity) ownedBodyExpressions+=SpecificationCS
 	 *     qualifiers+='unique' ','? '}' '{' 'body' UnrestrictedName? ':' (ambiguity) ownedBodyExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS___SemicolonKeyword_10_0_1_2_4_BodyKeyword_10_0_1_2_0_UnrestrictedNameParserRuleCall_10_0_1_2_1_q_ColonKeyword_10_0_1_2_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' 'body' UnrestrictedName? ':')+
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedBodyExpressions+=SpecificationCS (ambiguity) ownedBodyExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_OperationCS___SemicolonKeyword_10_0_1_2_4_BodyKeyword_10_0_1_2_0_UnrestrictedNameParserRuleCall_10_0_1_2_1_q_ColonKeyword_10_0_1_2_2__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}') | ';'
 	 *
@@ -2258,12 +2370,15 @@
 	 *     name=UnrestrictedName (ambiguity) (rule end)
 	 *     nsPrefix=UnrestrictedName (ambiguity) (rule end)
 	 *     nsURI=URI (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_PackageCS_SemicolonKeyword_4_1_or___LeftCurlyBracketKeyword_4_0_0_RightCurlyBracketKeyword_4_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ','?
 	 *
@@ -2292,12 +2407,15 @@
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='!unique'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='ordered'
 	 *     qualifiers+='unique' (ambiguity) qualifiers+='unique'
+
+	 * </pre>
 	 */
 	protected void emit_ParameterCS_CommaKeyword_2_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}')?
 	 *
@@ -2308,12 +2426,15 @@
 	 *     qualifiers+='!unique' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='ordered' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='unique' ','? '}' (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_ParameterCS___LeftCurlyBracketKeyword_3_0_RightCurlyBracketKeyword_3_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ','?
 	 *
@@ -3146,12 +3267,15 @@
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='unique'
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='unsettable'
 	 *     qualifiers+='volatile' (ambiguity) qualifiers+='volatile'
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS_CommaKeyword_6_1_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' (('initial' UnrestrictedName? ':' ';') | ('derivation' UnrestrictedName? ':' ';'))* '}') | ';'
 	 *
@@ -3178,12 +3302,15 @@
 	 *     qualifiers+='unsettable' ','? '}' (ambiguity) (rule end)
 	 *     qualifiers+='volatile' ','? '}' (ambiguity) (rule end)
 	 *     referredOpposite=[Property|UnrestrictedName] (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS_SemicolonKeyword_7_1_or___LeftCurlyBracketKeyword_7_0_0_____DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4___or___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4____a_RightCurlyBracketKeyword_7_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -3473,12 +3600,15 @@
 	 *         (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' (ambiguity) ':')*
 	 *         ownedDefaultExpressions+=SpecificationCS
 	 *     )
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS_UnrestrictedNameParserRuleCall_7_0_1_2_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     UnrestrictedName?
 	 *
@@ -3768,12 +3898,15 @@
 	 *         (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' (ambiguity) ':')*
 	 *         ownedDefaultExpressions+=SpecificationCS
 	 *     )
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS_UnrestrictedNameParserRuleCall_7_0_1_3_1_q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('derivation' UnrestrictedName? ':' ';' ('initial' UnrestrictedName? ':' ';')*)*
 	 *
@@ -3782,12 +3915,15 @@
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('initial' UnrestrictedName? ':' ';')* (ambiguity) '}' (rule end)
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('initial' UnrestrictedName? ':' ';')* (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('initial' UnrestrictedName? ':' ';')* (ambiguity) ownedImplicitOpposites+=ImplicitOppositeCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('derivation' UnrestrictedName? ':' ';')*
 	 *
@@ -3821,12 +3957,15 @@
 	 *     qualifiers+='volatile' ','? '}' '{' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     referredKeys+=[Property|UnrestrictedName] ';' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     referredOpposite=[Property|UnrestrictedName] '{' (ambiguity) 'initial' UnrestrictedName? ':' (';' (ambiguity) 'initial' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (
 	  *         ('derivation' UnrestrictedName? ':' (';' 'derivation' UnrestrictedName? ':')*) |
@@ -3850,12 +3989,15 @@
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2___SemicolonKeyword_7_0_1_3_4_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__a___or_____DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2___SemicolonKeyword_7_0_1_3_4_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__a_SemicolonKeyword_7_0_1_3_4__q___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__p_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2___SemicolonKeyword_7_0_1_3_4_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__a___SemicolonKeyword_7_0_1_3_4___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__p_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2___SemicolonKeyword_7_0_1_3_4_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__a__a__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('initial' UnrestrictedName? ':' ';' ('derivation' UnrestrictedName? ':' ';')*)*
 	 *
@@ -3864,12 +4006,15 @@
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('derivation' UnrestrictedName? ':' ';')* (ambiguity) '}' (rule end)
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('derivation' UnrestrictedName? ':' ';')* (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     ownedDefaultExpressions+=SpecificationCS ';' ('derivation' UnrestrictedName? ':' ';')* (ambiguity) ownedImplicitOpposites+=ImplicitOppositeCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__a__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('initial' UnrestrictedName? ':' ';')*
 	 *
@@ -3903,12 +4048,15 @@
 	 *     qualifiers+='volatile' ','? '}' '{' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     referredKeys+=[Property|UnrestrictedName] ';' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
 	 *     referredOpposite=[Property|UnrestrictedName] '{' (ambiguity) 'derivation' UnrestrictedName? ':' (';' (ambiguity) 'derivation' UnrestrictedName? ':')* ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (
 	  *         ('initial' UnrestrictedName? ':' (';' 'initial' UnrestrictedName? ':')*) |
@@ -3932,12 +4080,15 @@
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS ';' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2___SemicolonKeyword_7_0_1_2_4_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__a___or_____InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2___SemicolonKeyword_7_0_1_2_4_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__a_SemicolonKeyword_7_0_1_2_4__q___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__p_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2___SemicolonKeyword_7_0_1_2_4_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__a___SemicolonKeyword_7_0_1_2_4___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__p_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2___SemicolonKeyword_7_0_1_2_4_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__a__a__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':')*
 	 *
@@ -3967,23 +4118,29 @@
 	 *     qualifiers+='volatile' ','? '}' '{' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     referredKeys+=[Property|UnrestrictedName] ';' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     referredOpposite=[Property|UnrestrictedName] '{' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___SemicolonKeyword_7_0_1_2_4___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__a_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('derivation' UnrestrictedName? ':' ';')* 'initial' UnrestrictedName? ':')+
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___SemicolonKeyword_7_0_1_2_4___DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4__a_InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':')*
 	 *
@@ -4013,23 +4170,29 @@
 	 *     qualifiers+='volatile' ','? '}' '{' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     referredKeys+=[Property|UnrestrictedName] ';' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
 	 *     referredOpposite=[Property|UnrestrictedName] '{' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':' (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___SemicolonKeyword_7_0_1_3_4___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__a_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (';' ('initial' UnrestrictedName? ':' ';')* 'derivation' UnrestrictedName? ':')+
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     ownedDefaultExpressions+=SpecificationCS (ambiguity) ownedDefaultExpressions+=SpecificationCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS___SemicolonKeyword_7_0_1_3_4___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4__a_DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2__p(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     (('initial' UnrestrictedName? ':' ';') | ('derivation' UnrestrictedName? ':' ';'))*
 	 *
@@ -4112,12 +4275,15 @@
 	 *     referredOpposite=[Property|UnrestrictedName] '{' (ambiguity) 'key' referredKeys+=[Property|UnrestrictedName]
 	 *     referredOpposite=[Property|UnrestrictedName] '{' (ambiguity) ownedAnnotations+=AnnotationElementCS
 	 *     referredOpposite=[Property|UnrestrictedName] '{' (ambiguity) ownedImplicitOpposites+=ImplicitOppositeCS
+
+	 * </pre>
 	 */
 	protected void emit_ReferenceCS_____DerivationKeyword_7_0_1_3_0_UnrestrictedNameParserRuleCall_7_0_1_3_1_q_ColonKeyword_7_0_1_3_2_SemicolonKeyword_7_0_1_3_4___or___InitialKeyword_7_0_1_2_0_UnrestrictedNameParserRuleCall_7_0_1_2_1_q_ColonKeyword_7_0_1_2_2_SemicolonKeyword_7_0_1_2_4____a(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}') | ';'
 	 *
@@ -4127,12 +4293,15 @@
 	 *     name=UnrestrictedName ('{' '}')? (ambiguity) (rule end)
 	 *     ownedSignature=TemplateSignatureCS ('{' '}')? (ambiguity) (rule end)
 	 *     ownedSuperTypes+=TypedRefCS ('{' '}')? (ambiguity) (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_StructuredClassCS_SemicolonKeyword_7_1_or___LeftCurlyBracketKeyword_7_0_0_RightCurlyBracketKeyword_7_0_2__(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('{' '}')?
 	 *
@@ -4157,12 +4326,15 @@
 	 *     ownedSuperTypes+=TypedRefCS (ambiguity) '{' ownedOperations+=OperationCS
 	 *     ownedSuperTypes+=TypedRefCS (ambiguity) '{' ownedProperties+=StructuralFeatureCS
 	 *     ownedSuperTypes+=TypedRefCS (ambiguity) (('{' '}') | ';') (rule end)
+
+	 * </pre>
 	 */
 	protected void emit_StructuredClassCS___LeftCurlyBracketKeyword_6_0_RightCurlyBracketKeyword_6_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('module' UnrestrictedName)?
 	 *
@@ -4170,18 +4342,23 @@
 	 *     (rule start) (ambiguity) (rule start)
 	 *     (rule start) (ambiguity) ownedImports+=ImportCS
 	 *     (rule start) (ambiguity) ownedPackages+=PackageCS
+
+	 * </pre>
 	 */
 	protected void emit_TopLevelCS___ModuleKeyword_1_0_UnrestrictedNameParserRuleCall_1_1__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
 	}
 
 	/**
+	 * <pre>
 	 * Ambiguous syntax:
 	 *     ('(' ')')?
 	 *
 	 * This ambiguous syntax occurs at:
 	 *     name='Tuple' (ambiguity) (rule end)
 	 *     name='Tuple' (ambiguity) ownedMultiplicity=MultiplicityCS
+
+	 * </pre>
 	 */
 	protected void emit_TupleTypeCS___LeftParenthesisKeyword_1_0_RightParenthesisKeyword_1_2__q(EObject semanticObject, ISynNavigable transition, List<INode> nodes) {
 		acceptNodes(transition, nodes);
diff --git a/plugins/org.eclipse.ocl.xtext.oclstdlib/src-gen/org/eclipse/ocl/xtext/oclstdlib/OCLstdlibGrammarResource.java b/plugins/org.eclipse.ocl.xtext.oclstdlib/src-gen/org/eclipse/ocl/xtext/oclstdlib/OCLstdlibGrammarResource.java
index 8f4ec6e..0c61025 100644
--- a/plugins/org.eclipse.ocl.xtext.oclstdlib/src-gen/org/eclipse/ocl/xtext/oclstdlib/OCLstdlibGrammarResource.java
+++ b/plugins/org.eclipse.ocl.xtext.oclstdlib/src-gen/org/eclipse/ocl/xtext/oclstdlib/OCLstdlibGrammarResource.java
@@ -9,7 +9,7 @@
  *     E.D.Willink - initial API and implementation
  *******************************************************************************
  * This code is 100% auto-generated
- * from: E:\GIT\org.eclipse.ocl\examples..\..\plugins\org.eclipse.ocl.xtext.oclstdlib\src-gen\org\eclipse\ocl\xtext\oclstdlib\OCLstdlib.xtextbin
+ * from: E:\GIT\org.eclipse.ocl\plugins..\..\plugins\org.eclipse.ocl.xtext.oclstdlib\src-gen\org\eclipse\ocl\xtext\oclstdlib\OCLstdlib.xtextbin
  * by: org.eclipse.ocl.examples.build.xtend.generateGrammar.xtend
  *
  * Do not edit it.
diff --git a/tests/org.eclipse.ocl.examples.xtext.tests/emf-gen/org/eclipse/ocl/examples/xtext/tests/codegen/company/CodegencompanyTables.java b/tests/org.eclipse.ocl.examples.xtext.tests/emf-gen/org/eclipse/ocl/examples/xtext/tests/codegen/company/CodegencompanyTables.java
index ea685fe..4aece73 100644
--- a/tests/org.eclipse.ocl.examples.xtext.tests/emf-gen/org/eclipse/ocl/examples/xtext/tests/codegen/company/CodegencompanyTables.java
+++ b/tests/org.eclipse.ocl.examples.xtext.tests/emf-gen/org/eclipse/ocl/examples/xtext/tests/codegen/company/CodegencompanyTables.java
@@ -31,17 +31,20 @@
 // import org.eclipse.ocl.examples.xtext.tests.codegen.company.CodegencompanyTables;
 import org.eclipse.ocl.pivot.ParameterTypes;
 import org.eclipse.ocl.pivot.TemplateParameters;
+import org.eclipse.ocl.pivot.ids.BooleanLiteralId;
 import org.eclipse.ocl.pivot.ids.ClassId;
 import org.eclipse.ocl.pivot.ids.CollectionTypeId;
 import org.eclipse.ocl.pivot.ids.DataTypeId;
 import org.eclipse.ocl.pivot.ids.EnumerationId;
 import org.eclipse.ocl.pivot.ids.EnumerationLiteralId;
 import org.eclipse.ocl.pivot.ids.IdManager;
+import org.eclipse.ocl.pivot.ids.IntegerLiteralId;
 import org.eclipse.ocl.pivot.ids.NsURIPackageId;
 import org.eclipse.ocl.pivot.ids.RootPackageId;
 import org.eclipse.ocl.pivot.ids.TuplePartId;
 import org.eclipse.ocl.pivot.ids.TupleTypeId;
 import org.eclipse.ocl.pivot.ids.TypeId;
+import org.eclipse.ocl.pivot.ids.UnlimitedNaturalLiteralId;
 import org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorEnumeration;
 import org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorEnumerationLiteral;
 import org.eclipse.ocl.pivot.internal.library.ecore.EcoreExecutorPackage;
@@ -89,9 +92,14 @@
 	/**
 	 *	Constants used by auto-generated code.
 	 */
+	public static final /*@NonInvalid*/ @NonNull BooleanLiteralId BOOLid_false = TypeId.FALSE_VALUE;
+	public static final /*@NonInvalid*/ @NonNull BooleanLiteralId BOOLid_true = TypeId.TRUE_VALUE;
+	public static final /*@NonInvalid*/ @NonNull IntegerLiteralId INTid_0 = TypeId.ZERO_VALUE;
 	public static final /*@NonInvalid*/ @NonNull RootPackageId PACKid_$metamodel$ = IdManager.getRootPackageId("$metamodel$");
 	public static final /*@NonInvalid*/ @NonNull NsURIPackageId PACKid_http_c_s_s_www_eclipse_org_s_emf_s_2002_s_Ecore = IdManager.getNsURIPackageId("http://www.eclipse.org/emf/2002/Ecore", null, EcorePackage.eINSTANCE);
 	public static final /*@NonInvalid*/ @NonNull NsURIPackageId PACKid_http_c_s_s_www_eclipse_org_s_ocl_s_test_s_Pivot_s_Company_ecore = IdManager.getNsURIPackageId("http://www.eclipse.org/ocl/test/Pivot/Company.ecore", null, CodegencompanyPackage.eINSTANCE);
+	public static final /*@NonInvalid*/ @NonNull UnlimitedNaturalLiteralId UNLid__a = TypeId.UNLIMITED_VALUE;
+	public static final /*@NonInvalid*/ @NonNull ClassId CLSSid_Bug418716 = CodegencompanyTables.PACKid_http_c_s_s_www_eclipse_org_s_ocl_s_test_s_Pivot_s_Company_ecore.getClassId("Bug418716", 0);
 	public static final /*@NonInvalid*/ @NonNull ClassId CLSSid_Class = CodegencompanyTables.PACKid_$metamodel$.getClassId("Class", 0);
 	public static final /*@NonInvalid*/ @NonNull ClassId CLSSid_Company = CodegencompanyTables.PACKid_http_c_s_s_www_eclipse_org_s_ocl_s_test_s_Pivot_s_Company_ecore.getClassId("Company", 0);
 	public static final /*@NonInvalid*/ @NonNull ClassId CLSSid_Employee = CodegencompanyTables.PACKid_http_c_s_s_www_eclipse_org_s_ocl_s_test_s_Pivot_s_Company_ecore.getClassId("Employee", 0);
@@ -104,21 +112,23 @@
 	public static final /*@NonInvalid*/ @NonNull IntegerValue INT_49 = ValueUtil.integerValueOf("49");
 	public static final /*@NonInvalid*/ @NonNull IntegerValue INT_50 = ValueUtil.integerValueOf("50");
 	public static final /*@NonInvalid*/ @NonNull IntegerValue INT_999 = ValueUtil.integerValueOf("999");
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId ORD_NULLid = TypeId.ORDERED_SET.getSpecializedCollectionTypeId(TypeId.OCL_VOID);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId ORD_NULLid = TypeId.ORDERED_SET.getSpecializedCollectionTypeId(TypeId.OCL_VOID, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull TuplePartId PARTid__1 = IdManager.getTuplePartId(0, "message", TypeId.STRING);
 	public static final /*@NonInvalid*/ @NonNull TuplePartId PARTid__2 = IdManager.getTuplePartId(1, "status", TypeId.BOOLEAN);
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SEQ_PRIMid_Integer = TypeId.SEQUENCE.getSpecializedCollectionTypeId(TypeId.INTEGER);
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_PRIMid_String = TypeId.SET.getSpecializedCollectionTypeId(TypeId.STRING);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SEQ_PRIMid_Integer = TypeId.SEQUENCE.getSpecializedCollectionTypeId(TypeId.INTEGER, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SEQ_PRIMid_Integer_0 = TypeId.SEQUENCE.getSpecializedCollectionTypeId(TypeId.INTEGER, CodegencompanyTables.BOOLid_false, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_PRIMid_String = TypeId.SET.getSpecializedCollectionTypeId(TypeId.STRING, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull String STR_Employee_32_must_32_have_32_a_32_name = "Employee must have a name";
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId BAG_CLSSid_Employee = TypeId.BAG.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId BAG_CLSSid_Employee = TypeId.BAG.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee, CodegencompanyTables.BOOLid_false, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull EnumerationLiteralId ELITid_large = CodegencompanyTables.ENUMid_CompanySizeKind.getEnumerationLiteralId("large");
 	public static final /*@NonInvalid*/ @NonNull EnumerationLiteralId ELITid_medium = CodegencompanyTables.ENUMid_CompanySizeKind.getEnumerationLiteralId("medium");
 	public static final /*@NonInvalid*/ @NonNull EnumerationLiteralId ELITid_small = CodegencompanyTables.ENUMid_CompanySizeKind.getEnumerationLiteralId("small");
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId ORD_CLSSid_Employee = TypeId.ORDERED_SET.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId ORD_CLSSid_Employee = TypeId.ORDERED_SET.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId ORD_CLSSid_Employee_0 = TypeId.ORDERED_SET.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee, CodegencompanyTables.BOOLid_false, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull OrderedSetValue OrderedSet = ValueUtil.createOrderedSetOfEach(CodegencompanyTables.ORD_NULLid);
 	public static final /*@NonInvalid*/ @NonNull TuplePartId PARTid_ = IdManager.getTuplePartId(0, "range", CodegencompanyTables.SEQ_PRIMid_Integer);
 	public static final /*@NonInvalid*/ @NonNull TuplePartId PARTid__0 = IdManager.getTuplePartId(1, "size", CodegencompanyTables.ENUMid_CompanySizeKind);
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_CLSSid_Employee = TypeId.SET.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_CLSSid_Employee = TypeId.SET.getSpecializedCollectionTypeId(CodegencompanyTables.CLSSid_Employee, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull TupleTypeId TUPLid__0 = IdManager.getTupleTypeId("Tuple", CodegencompanyTables.PARTid__1, CodegencompanyTables.PARTid__2);
 	public static final /*@NonInvalid*/ @NonNull IntegerRange global_0 = ValueUtil.createRange(CodegencompanyTables.INT_0, CodegencompanyTables.INT_49);
 	public static final /*@NonInvalid*/ @NonNull IntegerRange global_4 = ValueUtil.createRange(CodegencompanyTables.INT_1000, CodegencompanyTables.INT_1000000);
@@ -127,7 +137,7 @@
 	public static final /*@NonInvalid*/ @NonNull SequenceValue Sequence_1 = ValueUtil.createSequenceRange(CodegencompanyTables.SEQ_PRIMid_Integer, CodegencompanyTables.global_4);
 	public static final /*@NonInvalid*/ @NonNull SequenceValue Sequence_0 = ValueUtil.createSequenceRange(CodegencompanyTables.SEQ_PRIMid_Integer, CodegencompanyTables.global_2);
 	public static final /*@NonInvalid*/ @NonNull TupleTypeId TUPLid_ = IdManager.getTupleTypeId("Tuple", CodegencompanyTables.PARTid_, CodegencompanyTables.PARTid__0);
-	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_TUPLid_ = TypeId.SET.getSpecializedCollectionTypeId(CodegencompanyTables.TUPLid_);
+	public static final /*@NonInvalid*/ @NonNull CollectionTypeId SET_TUPLid_ = TypeId.SET.getSpecializedCollectionTypeId(CodegencompanyTables.TUPLid_, CodegencompanyTables.BOOLid_true, CodegencompanyTables.INTid_0, CodegencompanyTables.UNLid__a);
 	public static final /*@NonInvalid*/ @NonNull TupleValue global_1 = ValueUtil.createTupleOfEach(CodegencompanyTables.TUPLid_, CodegencompanyTables.Sequence, CodegencompanyTables.ELITid_small);
 	public static final /*@NonInvalid*/ @NonNull TupleValue global_5 = ValueUtil.createTupleOfEach(CodegencompanyTables.TUPLid_, CodegencompanyTables.Sequence_1, CodegencompanyTables.ELITid_large);
 	public static final /*@NonInvalid*/ @NonNull TupleValue global_3 = ValueUtil.createTupleOfEach(CodegencompanyTables.TUPLid_, CodegencompanyTables.Sequence_0, CodegencompanyTables.ELITid_medium);
@@ -409,8 +419,13 @@
 		private static final @NonNull ExecutorOperation @NonNull [] _Bug418716__OclElement = {
 			OCLstdlibTables.Operations._OclElement__allInstances /* allInstances(Integer[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclAsModelType /* oclAsModelType(TT)(TT[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclBase /* oclBase() */,
+			OCLstdlibTables.Operations._OclElement__1_oclBase /* oclBase(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclContainer /* oclContainer() */,
 			OCLstdlibTables.Operations._OclElement__oclContents /* oclContents() */,
+			OCLstdlibTables.Operations._OclElement__oclExtension /* oclExtension(OclStereotype[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclExtensions /* oclExtensions() */,
+			OCLstdlibTables.Operations._OclElement__1_oclExtensions /* oclExtensions(OclStereotype[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclIsModelKindOf /* oclIsModelKindOf(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclModelType /* oclModelType() */,
 			OCLstdlibTables.Operations._OclElement__oclModelTypes /* oclModelTypes() */
@@ -437,8 +452,13 @@
 		private static final @NonNull ExecutorOperation @NonNull [] _Company__OclElement = {
 			OCLstdlibTables.Operations._OclElement__allInstances /* allInstances(Integer[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclAsModelType /* oclAsModelType(TT)(TT[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclBase /* oclBase() */,
+			OCLstdlibTables.Operations._OclElement__1_oclBase /* oclBase(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclContainer /* oclContainer() */,
 			OCLstdlibTables.Operations._OclElement__oclContents /* oclContents() */,
+			OCLstdlibTables.Operations._OclElement__oclExtension /* oclExtension(OclStereotype[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclExtensions /* oclExtensions() */,
+			OCLstdlibTables.Operations._OclElement__1_oclExtensions /* oclExtensions(OclStereotype[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclIsModelKindOf /* oclIsModelKindOf(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclModelType /* oclModelType() */,
 			OCLstdlibTables.Operations._OclElement__oclModelTypes /* oclModelTypes() */
@@ -465,8 +485,13 @@
 		private static final @NonNull ExecutorOperation @NonNull [] _CompanySizeKind__OclElement = {
 			OCLstdlibTables.Operations._OclEnumeration__allInstances /* allInstances(Integer[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclAsModelType /* oclAsModelType(TT)(TT[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclBase /* oclBase() */,
+			OCLstdlibTables.Operations._OclElement__1_oclBase /* oclBase(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclContainer /* oclContainer() */,
 			OCLstdlibTables.Operations._OclElement__oclContents /* oclContents() */,
+			OCLstdlibTables.Operations._OclElement__oclExtension /* oclExtension(OclStereotype[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclExtensions /* oclExtensions() */,
+			OCLstdlibTables.Operations._OclElement__1_oclExtensions /* oclExtensions(OclStereotype[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclIsModelKindOf /* oclIsModelKindOf(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclModelType /* oclModelType() */,
 			OCLstdlibTables.Operations._OclElement__oclModelTypes /* oclModelTypes() */
@@ -502,8 +527,13 @@
 		private static final @NonNull ExecutorOperation @NonNull [] _Employee__OclElement = {
 			OCLstdlibTables.Operations._OclElement__allInstances /* allInstances(Integer[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclAsModelType /* oclAsModelType(TT)(TT[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclBase /* oclBase() */,
+			OCLstdlibTables.Operations._OclElement__1_oclBase /* oclBase(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclContainer /* oclContainer() */,
 			OCLstdlibTables.Operations._OclElement__oclContents /* oclContents() */,
+			OCLstdlibTables.Operations._OclElement__oclExtension /* oclExtension(OclStereotype[1]) */,
+			OCLstdlibTables.Operations._OclElement__0_oclExtensions /* oclExtensions() */,
+			OCLstdlibTables.Operations._OclElement__1_oclExtensions /* oclExtensions(OclStereotype[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclIsModelKindOf /* oclIsModelKindOf(OclType[1]) */,
 			OCLstdlibTables.Operations._OclElement__oclModelType /* oclModelType() */,
 			OCLstdlibTables.Operations._OclElement__oclModelTypes /* oclModelTypes() */