69 files changed, 415 insertions, 85 deletions

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPackageEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPackageEntryImpl.java
index c69a5c6e..f7f8dd05 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPackageEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPackageEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class AllPackageEntryImpl extends MetamodelEntryImpl implements AllPackag
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<MetamodelElement> getExclusion()

   {

     if (exclusion == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
index 1418bad4..9c26d9c3 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/AllPatternEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class AllPatternEntryImpl extends PatternEntryImpl implements AllPatternE
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<PatternElement> getExclusuion()

   {

     if (exclusuion == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
index 7f485ec5..9e1b5e40 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationFactoryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -181,6 +181,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigurationScript createConfigurationScript()

   {

     ConfigurationScriptImpl configurationScript = new ConfigurationScriptImpl();

@@ -192,6 +193,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Command createCommand()

   {

     CommandImpl command = new CommandImpl();

@@ -203,6 +205,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Import createImport()

   {

     ImportImpl import_ = new ImportImpl();

@@ -214,6 +217,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EPackageImport createEPackageImport()

   {

     EPackageImportImpl ePackageImport = new EPackageImportImpl();

@@ -225,6 +229,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ViatraImport createViatraImport()

   {

     ViatraImportImpl viatraImport = new ViatraImportImpl();

@@ -236,6 +241,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Declaration createDeclaration()

   {

     DeclarationImpl declaration = new DeclarationImpl();

@@ -247,6 +253,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FileSpecification createFileSpecification()

   {

     FileSpecificationImpl fileSpecification = new FileSpecificationImpl();

@@ -258,6 +265,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FileDeclaration createFileDeclaration()

   {

     FileDeclarationImpl fileDeclaration = new FileDeclarationImpl();

@@ -269,6 +277,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FileReference createFileReference()

   {

     FileReferenceImpl fileReference = new FileReferenceImpl();

@@ -280,6 +289,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File createFile()

   {

     FileImpl file = new FileImpl();

@@ -291,6 +301,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelSpecification createMetamodelSpecification()

   {

     MetamodelSpecificationImpl metamodelSpecification = new MetamodelSpecificationImpl();

@@ -302,6 +313,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelEntry createMetamodelEntry()

   {

     MetamodelEntryImpl metamodelEntry = new MetamodelEntryImpl();

@@ -313,6 +325,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public AllPackageEntry createAllPackageEntry()

   {

     AllPackageEntryImpl allPackageEntry = new AllPackageEntryImpl();

@@ -324,6 +337,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelElement createMetamodelElement()

   {

     MetamodelElementImpl metamodelElement = new MetamodelElementImpl();

@@ -335,6 +349,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelDeclaration createMetamodelDeclaration()

   {

     MetamodelDeclarationImpl metamodelDeclaration = new MetamodelDeclarationImpl();

@@ -346,6 +361,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelReference createMetamodelReference()

   {

     MetamodelReferenceImpl metamodelReference = new MetamodelReferenceImpl();

@@ -357,6 +373,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Metamodel createMetamodel()

   {

     MetamodelImpl metamodel = new MetamodelImpl();

@@ -368,6 +385,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelSpecification createPartialModelSpecification()

   {

     PartialModelSpecificationImpl partialModelSpecification = new PartialModelSpecificationImpl();

@@ -379,6 +397,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelEntry createPartialModelEntry()

   {

     PartialModelEntryImpl partialModelEntry = new PartialModelEntryImpl();

@@ -390,6 +409,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ModelEntry createModelEntry()

   {

     ModelEntryImpl modelEntry = new ModelEntryImpl();

@@ -401,6 +421,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FolderEntry createFolderEntry()

   {

     FolderEntryImpl folderEntry = new FolderEntryImpl();

@@ -412,6 +433,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelDeclaration createPartialModelDeclaration()

   {

     PartialModelDeclarationImpl partialModelDeclaration = new PartialModelDeclarationImpl();

@@ -423,6 +445,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelReference createPartialModelReference()

   {

     PartialModelReferenceImpl partialModelReference = new PartialModelReferenceImpl();

@@ -434,6 +457,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModel createPartialModel()

   {

     PartialModelImpl partialModel = new PartialModelImpl();

@@ -445,6 +469,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternSpecification createPatternSpecification()

   {

     PatternSpecificationImpl patternSpecification = new PatternSpecificationImpl();

@@ -456,6 +481,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternEntry createPatternEntry()

   {

     PatternEntryImpl patternEntry = new PatternEntryImpl();

@@ -467,6 +493,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public AllPatternEntry createAllPatternEntry()

   {

     AllPatternEntryImpl allPatternEntry = new AllPatternEntryImpl();

@@ -478,6 +505,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternElement createPatternElement()

   {

     PatternElementImpl patternElement = new PatternElementImpl();

@@ -489,6 +517,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPatternDeclaration createGraphPatternDeclaration()

   {

     GraphPatternDeclarationImpl graphPatternDeclaration = new GraphPatternDeclarationImpl();

@@ -500,6 +529,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPatternReference createGraphPatternReference()

   {

     GraphPatternReferenceImpl graphPatternReference = new GraphPatternReferenceImpl();

@@ -511,6 +541,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPattern createGraphPattern()

   {

     GraphPatternImpl graphPattern = new GraphPatternImpl();

@@ -522,6 +553,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigSpecification createConfigSpecification()

   {

     ConfigSpecificationImpl configSpecification = new ConfigSpecificationImpl();

@@ -533,6 +565,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigDeclaration createConfigDeclaration()

   {

     ConfigDeclarationImpl configDeclaration = new ConfigDeclarationImpl();

@@ -544,6 +577,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigEntry createConfigEntry()

   {

     ConfigEntryImpl configEntry = new ConfigEntryImpl();

@@ -555,6 +589,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public DocumentationEntry createDocumentationEntry()

   {

     DocumentationEntryImpl documentationEntry = new DocumentationEntryImpl();

@@ -566,6 +601,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RuntimeEntry createRuntimeEntry()

   {

     RuntimeEntryImpl runtimeEntry = new RuntimeEntryImpl();

@@ -577,6 +613,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MemoryEntry createMemoryEntry()

   {

     MemoryEntryImpl memoryEntry = new MemoryEntryImpl();

@@ -588,6 +625,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public CustomEntry createCustomEntry()

   {

     CustomEntryImpl customEntry = new CustomEntryImpl();

@@ -599,6 +637,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigReference createConfigReference()

   {

     ConfigReferenceImpl configReference = new ConfigReferenceImpl();

@@ -610,6 +649,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Config createConfig()

   {

     ConfigImpl config = new ConfigImpl();

@@ -621,6 +661,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ScopeSpecification createScopeSpecification()

   {

     ScopeSpecificationImpl scopeSpecification = new ScopeSpecificationImpl();

@@ -632,6 +673,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public TypeScope createTypeScope()

   {

     TypeScopeImpl typeScope = new TypeScopeImpl();

@@ -643,6 +685,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ClassTypeScope createClassTypeScope()

   {

     ClassTypeScopeImpl classTypeScope = new ClassTypeScopeImpl();

@@ -654,6 +697,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ObjectTypeScope createObjectTypeScope()

   {

     ObjectTypeScopeImpl objectTypeScope = new ObjectTypeScopeImpl();

@@ -665,6 +709,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntegerTypeScope createIntegerTypeScope()

   {

     IntegerTypeScopeImpl integerTypeScope = new IntegerTypeScopeImpl();

@@ -676,6 +721,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RealTypeScope createRealTypeScope()

   {

     RealTypeScopeImpl realTypeScope = new RealTypeScopeImpl();

@@ -687,6 +733,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public StringTypeScope createStringTypeScope()

   {

     StringTypeScopeImpl stringTypeScope = new StringTypeScopeImpl();

@@ -698,6 +745,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public TypeReference createTypeReference()

   {

     TypeReferenceImpl typeReference = new TypeReferenceImpl();

@@ -709,6 +757,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ClassReference createClassReference()

   {

     ClassReferenceImpl classReference = new ClassReferenceImpl();

@@ -720,6 +769,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ObjectReference createObjectReference()

   {

     ObjectReferenceImpl objectReference = new ObjectReferenceImpl();

@@ -731,6 +781,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntegerReference createIntegerReference()

   {

     IntegerReferenceImpl integerReference = new IntegerReferenceImpl();

@@ -742,6 +793,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RealReference createRealReference()

   {

     RealReferenceImpl realReference = new RealReferenceImpl();

@@ -753,6 +805,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public StringReference createStringReference()

   {

     StringReferenceImpl stringReference = new StringReferenceImpl();

@@ -764,6 +817,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public NumberSpecification createNumberSpecification()

   {

     NumberSpecificationImpl numberSpecification = new NumberSpecificationImpl();

@@ -775,6 +829,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ExactNumber createExactNumber()

   {

     ExactNumberImpl exactNumber = new ExactNumberImpl();

@@ -786,6 +841,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntervallNumber createIntervallNumber()

   {

     IntervallNumberImpl intervallNumber = new IntervallNumberImpl();

@@ -797,6 +853,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntEnumberation createIntEnumberation()

   {

     IntEnumberationImpl intEnumberation = new IntEnumberationImpl();

@@ -808,6 +865,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RealEnumeration createRealEnumeration()

   {

     RealEnumerationImpl realEnumeration = new RealEnumerationImpl();

@@ -819,6 +877,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public StringEnumeration createStringEnumeration()

   {

     StringEnumerationImpl stringEnumeration = new StringEnumerationImpl();

@@ -830,6 +889,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ScopeDeclaration createScopeDeclaration()

   {

     ScopeDeclarationImpl scopeDeclaration = new ScopeDeclarationImpl();

@@ -841,6 +901,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ScopeReference createScopeReference()

   {

     ScopeReferenceImpl scopeReference = new ScopeReferenceImpl();

@@ -852,6 +913,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Scope createScope()

   {

     ScopeImpl scope = new ScopeImpl();

@@ -863,6 +925,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Task createTask()

   {

     TaskImpl task = new TaskImpl();

@@ -874,6 +937,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GenerationTask createGenerationTask()

   {

     GenerationTaskImpl generationTask = new GenerationTaskImpl();

@@ -885,6 +949,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntegerScope createIntegerScope()

   {

     IntegerScopeImpl integerScope = new IntegerScopeImpl();

@@ -896,6 +961,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RealScope createRealScope()

   {

     RealScopeImpl realScope = new RealScopeImpl();

@@ -907,6 +973,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public StringScope createStringScope()

   {

     StringScopeImpl stringScope = new StringScopeImpl();

@@ -962,6 +1029,7 @@ public class ApplicationConfigurationFactoryImpl extends EFactoryImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ApplicationConfigurationPackage getApplicationConfigurationPackage()

   {

     return (ApplicationConfigurationPackage)getEPackage();

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
index d549ad84..dd1a5e81 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ApplicationConfigurationPackageImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -612,7 +612,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
 

   /**

    * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.

-   * 

+   *

    * <p>This method is used to initialize {@link ApplicationConfigurationPackage#eINSTANCE} when that field is accessed.

    * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.

    * <!-- begin-user-doc -->

@@ -627,7 +627,8 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     if (isInited) return (ApplicationConfigurationPackage)EPackage.Registry.INSTANCE.getEPackage(ApplicationConfigurationPackage.eNS_URI);

 

     // Obtain or create and register package

-    ApplicationConfigurationPackageImpl theApplicationConfigurationPackage = (ApplicationConfigurationPackageImpl)(EPackage.Registry.INSTANCE.get(eNS_URI) instanceof ApplicationConfigurationPackageImpl ? EPackage.Registry.INSTANCE.get(eNS_URI) : new ApplicationConfigurationPackageImpl());

+    Object registeredApplicationConfigurationPackage = EPackage.Registry.INSTANCE.get(eNS_URI);

+    ApplicationConfigurationPackageImpl theApplicationConfigurationPackage = registeredApplicationConfigurationPackage instanceof ApplicationConfigurationPackageImpl ? (ApplicationConfigurationPackageImpl)registeredApplicationConfigurationPackage : new ApplicationConfigurationPackageImpl();

 

     isInited = true;

 

@@ -647,7 +648,6 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     // Mark meta-data to indicate it can't be changed

     theApplicationConfigurationPackage.freeze();

 

-  

     // Update the registry and return the package

     EPackage.Registry.INSTANCE.put(ApplicationConfigurationPackage.eNS_URI, theApplicationConfigurationPackage);

     return theApplicationConfigurationPackage;

@@ -658,6 +658,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigurationScript()

   {

     return configurationScriptEClass;

@@ -668,6 +669,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigurationScript_Imports()

   {

     return (EReference)configurationScriptEClass.getEStructuralFeatures().get(0);

@@ -678,6 +680,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigurationScript_Commands()

   {

     return (EReference)configurationScriptEClass.getEStructuralFeatures().get(1);

@@ -688,6 +691,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getCommand()

   {

     return commandEClass;

@@ -698,6 +702,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getImport()

   {

     return importEClass;

@@ -708,6 +713,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getEPackageImport()

   {

     return ePackageImportEClass;

@@ -718,6 +724,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getEPackageImport_ImportedPackage()

   {

     return (EReference)ePackageImportEClass.getEStructuralFeatures().get(0);

@@ -728,6 +735,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getViatraImport()

   {

     return viatraImportEClass;

@@ -738,6 +746,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getViatraImport_ImportedViatra()

   {

     return (EReference)viatraImportEClass.getEStructuralFeatures().get(0);

@@ -748,6 +757,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getDeclaration()

   {

     return declarationEClass;

@@ -758,6 +768,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getDeclaration_Name()

   {

     return (EAttribute)declarationEClass.getEStructuralFeatures().get(0);

@@ -768,6 +779,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileSpecification()

   {

     return fileSpecificationEClass;

@@ -778,6 +790,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getFileSpecification_Path()

   {

     return (EAttribute)fileSpecificationEClass.getEStructuralFeatures().get(0);

@@ -788,6 +801,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileDeclaration()

   {

     return fileDeclarationEClass;

@@ -798,6 +812,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFileDeclaration_Specification()

   {

     return (EReference)fileDeclarationEClass.getEStructuralFeatures().get(0);

@@ -808,6 +823,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFileReference()

   {

     return fileReferenceEClass;

@@ -818,6 +834,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFileReference_Referred()

   {

     return (EReference)fileReferenceEClass.getEStructuralFeatures().get(0);

@@ -828,6 +845,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFile()

   {

     return fileEClass;

@@ -838,6 +856,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelSpecification()

   {

     return metamodelSpecificationEClass;

@@ -848,6 +867,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelSpecification_Entries()

   {

     return (EReference)metamodelSpecificationEClass.getEStructuralFeatures().get(0);

@@ -858,6 +878,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelEntry()

   {

     return metamodelEntryEClass;

@@ -868,6 +889,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelEntry_Package()

   {

     return (EReference)metamodelEntryEClass.getEStructuralFeatures().get(0);

@@ -878,6 +900,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getAllPackageEntry()

   {

     return allPackageEntryEClass;

@@ -888,6 +911,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getAllPackageEntry_Exclusion()

   {

     return (EReference)allPackageEntryEClass.getEStructuralFeatures().get(0);

@@ -898,6 +922,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelElement()

   {

     return metamodelElementEClass;

@@ -908,6 +933,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelElement_Classifier()

   {

     return (EReference)metamodelElementEClass.getEStructuralFeatures().get(0);

@@ -918,6 +944,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelElement_Feature()

   {

     return (EReference)metamodelElementEClass.getEStructuralFeatures().get(1);

@@ -928,6 +955,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelDeclaration()

   {

     return metamodelDeclarationEClass;

@@ -938,6 +966,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelDeclaration_Specification()

   {

     return (EReference)metamodelDeclarationEClass.getEStructuralFeatures().get(0);

@@ -948,6 +977,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodelReference()

   {

     return metamodelReferenceEClass;

@@ -958,6 +988,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getMetamodelReference_Referred()

   {

     return (EReference)metamodelReferenceEClass.getEStructuralFeatures().get(0);

@@ -968,6 +999,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMetamodel()

   {

     return metamodelEClass;

@@ -978,6 +1010,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelSpecification()

   {

     return partialModelSpecificationEClass;

@@ -988,6 +1021,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelSpecification_Entry()

   {

     return (EReference)partialModelSpecificationEClass.getEStructuralFeatures().get(0);

@@ -998,6 +1032,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelEntry()

   {

     return partialModelEntryEClass;

@@ -1008,6 +1043,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelEntry_Path()

   {

     return (EReference)partialModelEntryEClass.getEStructuralFeatures().get(0);

@@ -1018,6 +1054,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getModelEntry()

   {

     return modelEntryEClass;

@@ -1028,6 +1065,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getFolderEntry()

   {

     return folderEntryEClass;

@@ -1038,6 +1076,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getFolderEntry_Exclusion()

   {

     return (EReference)folderEntryEClass.getEStructuralFeatures().get(0);

@@ -1048,6 +1087,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelDeclaration()

   {

     return partialModelDeclarationEClass;

@@ -1058,6 +1098,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelDeclaration_Specification()

   {

     return (EReference)partialModelDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1068,6 +1109,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModelReference()

   {

     return partialModelReferenceEClass;

@@ -1078,6 +1120,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPartialModelReference_Referred()

   {

     return (EReference)partialModelReferenceEClass.getEStructuralFeatures().get(0);

@@ -1088,6 +1131,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPartialModel()

   {

     return partialModelEClass;

@@ -1098,6 +1142,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternSpecification()

   {

     return patternSpecificationEClass;

@@ -1108,6 +1153,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternSpecification_Entries()

   {

     return (EReference)patternSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1118,6 +1164,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternEntry()

   {

     return patternEntryEClass;

@@ -1128,6 +1175,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternEntry_Package()

   {

     return (EReference)patternEntryEClass.getEStructuralFeatures().get(0);

@@ -1138,6 +1186,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getAllPatternEntry()

   {

     return allPatternEntryEClass;

@@ -1148,6 +1197,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getAllPatternEntry_Exclusuion()

   {

     return (EReference)allPatternEntryEClass.getEStructuralFeatures().get(0);

@@ -1158,6 +1208,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getPatternElement()

   {

     return patternElementEClass;

@@ -1168,6 +1219,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getPatternElement_Pattern()

   {

     return (EReference)patternElementEClass.getEStructuralFeatures().get(0);

@@ -1178,6 +1230,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPatternDeclaration()

   {

     return graphPatternDeclarationEClass;

@@ -1188,6 +1241,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGraphPatternDeclaration_Specification()

   {

     return (EReference)graphPatternDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1198,6 +1252,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPatternReference()

   {

     return graphPatternReferenceEClass;

@@ -1208,6 +1263,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGraphPatternReference_Referred()

   {

     return (EReference)graphPatternReferenceEClass.getEStructuralFeatures().get(0);

@@ -1218,6 +1274,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGraphPattern()

   {

     return graphPatternEClass;

@@ -1228,6 +1285,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigSpecification()

   {

     return configSpecificationEClass;

@@ -1238,6 +1296,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigSpecification_Entries()

   {

     return (EReference)configSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1248,6 +1307,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigDeclaration()

   {

     return configDeclarationEClass;

@@ -1258,6 +1318,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigDeclaration_Specification()

   {

     return (EReference)configDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1268,6 +1329,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigEntry()

   {

     return configEntryEClass;

@@ -1278,6 +1340,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getDocumentationEntry()

   {

     return documentationEntryEClass;

@@ -1288,6 +1351,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getDocumentationEntry_Level()

   {

     return (EAttribute)documentationEntryEClass.getEStructuralFeatures().get(0);

@@ -1298,6 +1362,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRuntimeEntry()

   {

     return runtimeEntryEClass;

@@ -1308,6 +1373,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getRuntimeEntry_MillisecLimit()

   {

     return (EAttribute)runtimeEntryEClass.getEStructuralFeatures().get(0);

@@ -1318,6 +1384,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getMemoryEntry()

   {

     return memoryEntryEClass;

@@ -1328,6 +1395,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getMemoryEntry_MegabyteLimit()

   {

     return (EAttribute)memoryEntryEClass.getEStructuralFeatures().get(0);

@@ -1338,6 +1406,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getCustomEntry()

   {

     return customEntryEClass;

@@ -1348,6 +1417,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getCustomEntry_Key()

   {

     return (EAttribute)customEntryEClass.getEStructuralFeatures().get(0);

@@ -1358,6 +1428,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getCustomEntry_Value()

   {

     return (EAttribute)customEntryEClass.getEStructuralFeatures().get(1);

@@ -1368,6 +1439,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfigReference()

   {

     return configReferenceEClass;

@@ -1378,6 +1450,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getConfigReference_Config()

   {

     return (EReference)configReferenceEClass.getEStructuralFeatures().get(0);

@@ -1388,6 +1461,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getConfig()

   {

     return configEClass;

@@ -1398,6 +1472,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeSpecification()

   {

     return scopeSpecificationEClass;

@@ -1408,6 +1483,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeSpecification_Scopes()

   {

     return (EReference)scopeSpecificationEClass.getEStructuralFeatures().get(0);

@@ -1418,6 +1494,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTypeScope()

   {

     return typeScopeEClass;

@@ -1428,6 +1505,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getTypeScope_SetsNew()

   {

     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(0);

@@ -1438,6 +1516,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getTypeScope_SetsSum()

   {

     return (EAttribute)typeScopeEClass.getEStructuralFeatures().get(1);

@@ -1448,6 +1527,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getTypeScope_Number()

   {

     return (EReference)typeScopeEClass.getEStructuralFeatures().get(2);

@@ -1458,6 +1538,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getClassTypeScope()

   {

     return classTypeScopeEClass;

@@ -1468,6 +1549,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getClassTypeScope_Type()

   {

     return (EReference)classTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1478,6 +1560,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getObjectTypeScope()

   {

     return objectTypeScopeEClass;

@@ -1488,6 +1571,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getObjectTypeScope_Type()

   {

     return (EReference)objectTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1498,6 +1582,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerTypeScope()

   {

     return integerTypeScopeEClass;

@@ -1508,6 +1593,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getIntegerTypeScope_Type()

   {

     return (EReference)integerTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1518,6 +1604,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealTypeScope()

   {

     return realTypeScopeEClass;

@@ -1528,6 +1615,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getRealTypeScope_Type()

   {

     return (EReference)realTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1538,6 +1626,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringTypeScope()

   {

     return stringTypeScopeEClass;

@@ -1548,6 +1637,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getStringTypeScope_Type()

   {

     return (EReference)stringTypeScopeEClass.getEStructuralFeatures().get(0);

@@ -1558,6 +1648,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTypeReference()

   {

     return typeReferenceEClass;

@@ -1568,6 +1659,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getClassReference()

   {

     return classReferenceEClass;

@@ -1578,6 +1670,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getClassReference_Element()

   {

     return (EReference)classReferenceEClass.getEStructuralFeatures().get(0);

@@ -1588,6 +1681,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getObjectReference()

   {

     return objectReferenceEClass;

@@ -1598,6 +1692,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerReference()

   {

     return integerReferenceEClass;

@@ -1608,6 +1703,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealReference()

   {

     return realReferenceEClass;

@@ -1618,6 +1714,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringReference()

   {

     return stringReferenceEClass;

@@ -1628,6 +1725,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getNumberSpecification()

   {

     return numberSpecificationEClass;

@@ -1638,6 +1736,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getExactNumber()

   {

     return exactNumberEClass;

@@ -1648,6 +1747,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getExactNumber_ExactNumber()

   {

     return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(0);

@@ -1658,6 +1758,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getExactNumber_ExactUnlimited()

   {

     return (EAttribute)exactNumberEClass.getEStructuralFeatures().get(1);

@@ -1668,6 +1769,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntervallNumber()

   {

     return intervallNumberEClass;

@@ -1678,6 +1780,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_Min()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(0);

@@ -1688,6 +1791,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_MaxNumber()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(1);

@@ -1698,6 +1802,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntervallNumber_MaxUnlimited()

   {

     return (EAttribute)intervallNumberEClass.getEStructuralFeatures().get(2);

@@ -1708,6 +1813,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntEnumberation()

   {

     return intEnumberationEClass;

@@ -1718,6 +1824,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getIntEnumberation_Entry()

   {

     return (EAttribute)intEnumberationEClass.getEStructuralFeatures().get(0);

@@ -1728,6 +1835,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealEnumeration()

   {

     return realEnumerationEClass;

@@ -1738,6 +1846,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getRealEnumeration_Entry()

   {

     return (EAttribute)realEnumerationEClass.getEStructuralFeatures().get(0);

@@ -1748,6 +1857,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringEnumeration()

   {

     return stringEnumerationEClass;

@@ -1758,6 +1868,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getStringEnumeration_Entry()

   {

     return (EAttribute)stringEnumerationEClass.getEStructuralFeatures().get(0);

@@ -1768,6 +1879,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeDeclaration()

   {

     return scopeDeclarationEClass;

@@ -1778,6 +1890,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeDeclaration_Specification()

   {

     return (EReference)scopeDeclarationEClass.getEStructuralFeatures().get(0);

@@ -1788,6 +1901,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScopeReference()

   {

     return scopeReferenceEClass;

@@ -1798,6 +1912,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getScopeReference_Referred()

   {

     return (EReference)scopeReferenceEClass.getEStructuralFeatures().get(0);

@@ -1808,6 +1923,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getScope()

   {

     return scopeEClass;

@@ -1818,6 +1934,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getTask()

   {

     return taskEClass;

@@ -1828,6 +1945,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getGenerationTask()

   {

     return generationTaskEClass;

@@ -1838,6 +1956,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Metamodel()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(0);

@@ -1848,6 +1967,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_PartialModel()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(1);

@@ -1858,6 +1978,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Patterns()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(2);

@@ -1868,6 +1989,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Scope()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(3);

@@ -1878,6 +2000,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_NumberSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(4);

@@ -1888,6 +2011,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Number()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(5);

@@ -1898,6 +2022,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_RunSpecified()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(6);

@@ -1908,6 +2033,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Runs()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(7);

@@ -1918,6 +2044,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EAttribute getGenerationTask_Solver()

   {

     return (EAttribute)generationTaskEClass.getEStructuralFeatures().get(8);

@@ -1928,6 +2055,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_Config()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(9);

@@ -1938,6 +2066,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_DebugFolder()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(10);

@@ -1948,6 +2077,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TargetLogFile()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(11);

@@ -1958,6 +2088,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TargetStatisticsFile()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(12);

@@ -1968,6 +2099,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EReference getGenerationTask_TagetFolder()

   {

     return (EReference)generationTaskEClass.getEStructuralFeatures().get(13);

@@ -1978,6 +2110,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getIntegerScope()

   {

     return integerScopeEClass;

@@ -1988,6 +2121,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getRealScope()

   {

     return realScopeEClass;

@@ -1998,6 +2132,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClass getStringScope()

   {

     return stringScopeEClass;

@@ -2008,6 +2143,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EEnum getDocumentLevelSpecification()

   {

     return documentLevelSpecificationEEnum;

@@ -2018,6 +2154,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EEnum getSolver()

   {

     return solverEEnum;

@@ -2028,6 +2165,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ApplicationConfigurationFactory getApplicationConfigurationFactory()

   {

     return (ApplicationConfigurationFactory)getEFactoryInstance();

@@ -2558,6 +2696,7 @@ public class ApplicationConfigurationPackageImpl extends EPackageImpl implements
     addEEnumLiteral(solverEEnum, Solver.SMT_SOLVER);

     addEEnumLiteral(solverEEnum, Solver.ALLOY_SOLVER);

     addEEnumLiteral(solverEEnum, Solver.VIATRA_SOLVER);

+    addEEnumLiteral(solverEEnum, Solver.TPTP_SOLVER);

 

     // Create resource

     createResource(eNS_URI);

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
index d95d291d..3caf25c0 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ClassReferenceImpl extends TypeReferenceImpl implements ClassRefere
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelElement getElement()

   {

     return element;

@@ -93,6 +94,7 @@ public class ClassReferenceImpl extends TypeReferenceImpl implements ClassRefere
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setElement(MetamodelElement newElement)

   {

     if (newElement != element)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
index 4eef1c02..cbaa50af 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ClassTypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ClassTypeScopeImpl extends TypeScopeImpl implements ClassTypeScope
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ClassReference getType()

   {

     return type;

@@ -93,6 +94,7 @@ public class ClassTypeScopeImpl extends TypeScopeImpl implements ClassTypeScope
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setType(ClassReference newType)

   {

     if (newType != type)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CommandImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CommandImpl.java
index c7912c0c..669176b5 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CommandImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CommandImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
index af0e7c17..a7e9e0ca 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ConfigDeclarationImpl extends DeclarationImpl implements ConfigDecl
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class ConfigDeclarationImpl extends DeclarationImpl implements ConfigDecl
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(ConfigSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
index 5c9dee49..4be87b6d 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
index c69dd47b..19ac6a05 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
index dbe6aed6..5bae4cf5 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class ConfigReferenceImpl extends ConfigImpl implements ConfigReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ConfigDeclaration getConfig()

   {

     if (config != null && config.eIsProxy())

@@ -95,6 +96,7 @@ public class ConfigReferenceImpl extends ConfigImpl implements ConfigReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setConfig(ConfigDeclaration newConfig)

   {

     ConfigDeclaration oldConfig = config;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
index d4eda037..66251019 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class ConfigSpecificationImpl extends ConfigImpl implements ConfigSpecifi
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<ConfigEntry> getEntries()

   {

     if (entries == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigurationScriptImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigurationScriptImpl.java
index 9a4bb3a0..a45f68c2 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigurationScriptImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ConfigurationScriptImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -84,6 +84,7 @@ public class ConfigurationScriptImpl extends MinimalEObjectImpl.Container implem
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<Import> getImports()

   {

     if (imports == null)

@@ -98,6 +99,7 @@ public class ConfigurationScriptImpl extends MinimalEObjectImpl.Container implem
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<Command> getCommands()

   {

     if (commands == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CustomEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CustomEntryImpl.java
index b6a38700..b8fdeb0a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CustomEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/CustomEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -94,6 +94,7 @@ public class CustomEntryImpl extends ConfigEntryImpl implements CustomEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getKey()

   {

     return key;

@@ -104,6 +105,7 @@ public class CustomEntryImpl extends ConfigEntryImpl implements CustomEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setKey(String newKey)

   {

     String oldKey = key;

@@ -117,6 +119,7 @@ public class CustomEntryImpl extends ConfigEntryImpl implements CustomEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getValue()

   {

     return value;

@@ -127,6 +130,7 @@ public class CustomEntryImpl extends ConfigEntryImpl implements CustomEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setValue(String newValue)

   {

     String oldValue = value;

@@ -221,7 +225,7 @@ public class CustomEntryImpl extends ConfigEntryImpl implements CustomEntry
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (key: ");

     result.append(key);

     result.append(", value: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DeclarationImpl.java
index 15de42f0..5eae552b 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -73,6 +73,7 @@ public class DeclarationImpl extends CommandImpl implements Declaration
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getName()

   {

     return name;

@@ -83,6 +84,7 @@ public class DeclarationImpl extends CommandImpl implements Declaration
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setName(String newName)

   {

     String oldName = name;

@@ -167,7 +169,7 @@ public class DeclarationImpl extends CommandImpl implements Declaration
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (name: ");

     result.append(name);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java
index 3ea64130..79b25430 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/DocumentationEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -74,6 +74,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public DocumentLevelSpecification getLevel()

   {

     return level;

@@ -84,6 +85,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setLevel(DocumentLevelSpecification newLevel)

   {

     DocumentLevelSpecification oldLevel = level;

@@ -168,7 +170,7 @@ public class DocumentationEntryImpl extends ConfigEntryImpl implements Documenta
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (level: ");

     result.append(level);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/EPackageImportImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/EPackageImportImpl.java
index 1496e005..5192a52c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/EPackageImportImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/EPackageImportImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class EPackageImportImpl extends ImportImpl implements EPackageImport
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EPackage getImportedPackage()

   {

     if (importedPackage != null && importedPackage.eIsProxy())

@@ -95,6 +96,7 @@ public class EPackageImportImpl extends ImportImpl implements EPackageImport
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setImportedPackage(EPackage newImportedPackage)

   {

     EPackage oldImportedPackage = importedPackage;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
index dcd48fa2..bf33c471 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ExactNumberImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -94,6 +94,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getExactNumber()

   {

     return exactNumber;

@@ -104,6 +105,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setExactNumber(int newExactNumber)

   {

     int oldExactNumber = exactNumber;

@@ -117,6 +119,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isExactUnlimited()

   {

     return exactUnlimited;

@@ -127,6 +130,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setExactUnlimited(boolean newExactUnlimited)

   {

     boolean oldExactUnlimited = exactUnlimited;

@@ -221,7 +225,7 @@ public class ExactNumberImpl extends NumberSpecificationImpl implements ExactNum
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (exactNumber: ");

     result.append(exactNumber);

     result.append(", exactUnlimited: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
index 16efc685..6860497c 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class FileDeclarationImpl extends DeclarationImpl implements FileDeclarat
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FileSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class FileDeclarationImpl extends DeclarationImpl implements FileDeclarat
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(FileSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
index a67c6210..4c32277a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
index ef9ae500..cb3b8f23 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class FileReferenceImpl extends FileImpl implements FileReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public FileDeclaration getReferred()

   {

     if (referred != null && referred.eIsProxy())

@@ -95,6 +96,7 @@ public class FileReferenceImpl extends FileImpl implements FileReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setReferred(FileDeclaration newReferred)

   {

     FileDeclaration oldReferred = referred;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
index 3b728d0e..65364312 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FileSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -73,6 +73,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public String getPath()

   {

     return path;

@@ -83,6 +84,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPath(String newPath)

   {

     String oldPath = path;

@@ -167,7 +169,7 @@ public class FileSpecificationImpl extends FileImpl implements FileSpecification
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (path: ");

     result.append(path);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
index 63bf5f58..deddbe74 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/FolderEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class FolderEntryImpl extends PartialModelEntryImpl implements FolderEntr
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<ModelEntry> getExclusion()

   {

     if (exclusion == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
index 41874b35..b2df645a 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GenerationTaskImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -265,6 +265,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Metamodel getMetamodel()

   {

     return metamodel;

@@ -292,6 +293,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMetamodel(Metamodel newMetamodel)

   {

     if (newMetamodel != metamodel)

@@ -313,6 +315,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModel getPartialModel()

   {

     return partialModel;

@@ -340,6 +343,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPartialModel(PartialModel newPartialModel)

   {

     if (newPartialModel != partialModel)

@@ -361,6 +365,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPattern getPatterns()

   {

     return patterns;

@@ -388,6 +393,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPatterns(GraphPattern newPatterns)

   {

     if (newPatterns != patterns)

@@ -409,6 +415,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Scope getScope()

   {

     return scope;

@@ -436,6 +443,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setScope(Scope newScope)

   {

     if (newScope != scope)

@@ -457,6 +465,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isNumberSpecified()

   {

     return numberSpecified;

@@ -467,6 +476,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setNumberSpecified(boolean newNumberSpecified)

   {

     boolean oldNumberSpecified = numberSpecified;

@@ -480,6 +490,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getNumber()

   {

     return number;

@@ -490,6 +501,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setNumber(int newNumber)

   {

     int oldNumber = number;

@@ -503,6 +515,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isRunSpecified()

   {

     return runSpecified;

@@ -513,6 +526,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setRunSpecified(boolean newRunSpecified)

   {

     boolean oldRunSpecified = runSpecified;

@@ -526,6 +540,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getRuns()

   {

     return runs;

@@ -536,6 +551,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setRuns(int newRuns)

   {

     int oldRuns = runs;

@@ -549,6 +565,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Solver getSolver()

   {

     return solver;

@@ -559,6 +576,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSolver(Solver newSolver)

   {

     Solver oldSolver = solver;

@@ -572,6 +590,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Config getConfig()

   {

     return config;

@@ -599,6 +618,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setConfig(Config newConfig)

   {

     if (newConfig != config)

@@ -620,6 +640,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getDebugFolder()

   {

     return debugFolder;

@@ -647,6 +668,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setDebugFolder(File newDebugFolder)

   {

     if (newDebugFolder != debugFolder)

@@ -668,6 +690,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTargetLogFile()

   {

     return targetLogFile;

@@ -695,6 +718,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTargetLogFile(File newTargetLogFile)

   {

     if (newTargetLogFile != targetLogFile)

@@ -716,6 +740,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTargetStatisticsFile()

   {

     return targetStatisticsFile;

@@ -743,6 +768,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTargetStatisticsFile(File newTargetStatisticsFile)

   {

     if (newTargetStatisticsFile != targetStatisticsFile)

@@ -764,6 +790,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getTagetFolder()

   {

     return tagetFolder;

@@ -791,6 +818,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setTagetFolder(File newTagetFolder)

   {

     if (newTagetFolder != tagetFolder)

@@ -1045,7 +1073,7 @@ public class GenerationTaskImpl extends TaskImpl implements GenerationTask
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (numberSpecified: ");

     result.append(numberSpecified);

     result.append(", number: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
index 894b951e..5a239301 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class GraphPatternDeclarationImpl extends DeclarationImpl implements Grap
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class GraphPatternDeclarationImpl extends DeclarationImpl implements Grap
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(PatternSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
index 88512fde..45a44d92 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
index 39093353..efd945a6 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/GraphPatternReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class GraphPatternReferenceImpl extends GraphPatternImpl implements Graph
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public GraphPatternDeclaration getReferred()

   {

     if (referred != null && referred.eIsProxy())

@@ -95,6 +96,7 @@ public class GraphPatternReferenceImpl extends GraphPatternImpl implements Graph
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setReferred(GraphPatternDeclaration newReferred)

   {

     GraphPatternDeclaration oldReferred = referred;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ImportImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ImportImpl.java
index 3618fbba..b2ec8a64 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ImportImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ImportImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
index 0d851bc7..13af71e6 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntEnumberationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class IntEnumberationImpl extends NumberSpecificationImpl implements IntE
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<Integer> getEntry()

   {

     if (entry == null)

@@ -152,7 +153,7 @@ public class IntEnumberationImpl extends NumberSpecificationImpl implements IntE
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (entry: ");

     result.append(entry);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
index b35e0d17..a04ea7d8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
index 6ccbcda5..3958c8f3 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
index 438d59bc..c5f3dde8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntegerTypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class IntegerTypeScopeImpl extends TypeScopeImpl implements IntegerTypeSc
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public IntegerReference getType()

   {

     return type;

@@ -93,6 +94,7 @@ public class IntegerTypeScopeImpl extends TypeScopeImpl implements IntegerTypeSc
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setType(IntegerReference newType)

   {

     if (newType != type)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
index 98a96254..dcbaed1d 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/IntervallNumberImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -115,6 +115,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMin()

   {

     return min;

@@ -125,6 +126,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMin(int newMin)

   {

     int oldMin = min;

@@ -138,6 +140,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMaxNumber()

   {

     return maxNumber;

@@ -148,6 +151,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMaxNumber(int newMaxNumber)

   {

     int oldMaxNumber = maxNumber;

@@ -161,6 +165,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isMaxUnlimited()

   {

     return maxUnlimited;

@@ -171,6 +176,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMaxUnlimited(boolean newMaxUnlimited)

   {

     boolean oldMaxUnlimited = maxUnlimited;

@@ -275,7 +281,7 @@ public class IntervallNumberImpl extends NumberSpecificationImpl implements Inte
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (min: ");

     result.append(min);

     result.append(", maxNumber: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MemoryEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MemoryEntryImpl.java
index 6595f13f..1379e2ea 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MemoryEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MemoryEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -73,6 +73,7 @@ public class MemoryEntryImpl extends ConfigEntryImpl implements MemoryEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMegabyteLimit()

   {

     return megabyteLimit;

@@ -83,6 +84,7 @@ public class MemoryEntryImpl extends ConfigEntryImpl implements MemoryEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMegabyteLimit(int newMegabyteLimit)

   {

     int oldMegabyteLimit = megabyteLimit;

@@ -167,7 +169,7 @@ public class MemoryEntryImpl extends ConfigEntryImpl implements MemoryEntry
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (megabyteLimit: ");

     result.append(megabyteLimit);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelDeclarationImpl.java
index b6da09af..59495fb5 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class MetamodelDeclarationImpl extends DeclarationImpl implements Metamod
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class MetamodelDeclarationImpl extends DeclarationImpl implements Metamod
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(MetamodelSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelElementImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelElementImpl.java
index 3395381e..045814f7 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelElementImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelElementImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -77,6 +77,7 @@ public class MetamodelElementImpl extends MetamodelEntryImpl implements Metamode
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EClassifier getClassifier()

   {

     if (classifier != null && classifier.eIsProxy())

@@ -107,6 +108,7 @@ public class MetamodelElementImpl extends MetamodelEntryImpl implements Metamode
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setClassifier(EClassifier newClassifier)

   {

     EClassifier oldClassifier = classifier;

@@ -120,6 +122,7 @@ public class MetamodelElementImpl extends MetamodelEntryImpl implements Metamode
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ENamedElement getFeature()

   {

     if (feature != null && feature.eIsProxy())

@@ -150,6 +153,7 @@ public class MetamodelElementImpl extends MetamodelEntryImpl implements Metamode
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setFeature(ENamedElement newFeature)

   {

     ENamedElement oldFeature = feature;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelEntryImpl.java
index af250b5b..94d09a82 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class MetamodelEntryImpl extends MinimalEObjectImpl.Container implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EPackage getPackage()

   {

     if (package_ != null && package_.eIsProxy())

@@ -96,6 +97,7 @@ public class MetamodelEntryImpl extends MinimalEObjectImpl.Container implements
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPackage(EPackage newPackage)

   {

     EPackage oldPackage = package_;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelImpl.java
index bca11595..3446fcf4 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelReferenceImpl.java
index fb93bf8d..7556f014 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class MetamodelReferenceImpl extends MetamodelImpl implements MetamodelRe
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public MetamodelDeclaration getReferred()

   {

     if (referred != null && referred.eIsProxy())

@@ -95,6 +96,7 @@ public class MetamodelReferenceImpl extends MetamodelImpl implements MetamodelRe
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setReferred(MetamodelDeclaration newReferred)

   {

     MetamodelDeclaration oldReferred = referred;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelSpecificationImpl.java
index 412b46e6..3d04a447 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/MetamodelSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class MetamodelSpecificationImpl extends MetamodelImpl implements Metamod
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<MetamodelEntry> getEntries()

   {

     if (entries == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
index 58c052fe..c716cbe1 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ModelEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
index 124df0f6..9b6a8c8f 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/NumberSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
index 9a014ed6..ea84742b 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
index 51b9262b..764381ff 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ObjectTypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ObjectTypeScopeImpl extends TypeScopeImpl implements ObjectTypeScop
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ObjectReference getType()

   {

     return type;

@@ -93,6 +94,7 @@ public class ObjectTypeScopeImpl extends TypeScopeImpl implements ObjectTypeScop
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setType(ObjectReference newType)

   {

     if (newType != type)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
index 2932fa6e..385e4251 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class PartialModelDeclarationImpl extends DeclarationImpl implements Part
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class PartialModelDeclarationImpl extends DeclarationImpl implements Part
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(PartialModelSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
index 23571a76..c37b4f0e 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -67,6 +67,7 @@ public class PartialModelEntryImpl extends MinimalEObjectImpl.Container implemen
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public File getPath()

   {

     return path;

@@ -94,6 +95,7 @@ public class PartialModelEntryImpl extends MinimalEObjectImpl.Container implemen
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPath(File newPath)

   {

     if (newPath != path)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
index ccccd0cb..20863076 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
index 1af7e8ad..7aea4c33 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class PartialModelReferenceImpl extends PartialModelImpl implements Parti
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PartialModelDeclaration getReferred()

   {

     if (referred != null && referred.eIsProxy())

@@ -95,6 +96,7 @@ public class PartialModelReferenceImpl extends PartialModelImpl implements Parti
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setReferred(PartialModelDeclaration newReferred)

   {

     PartialModelDeclaration oldReferred = referred;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
index 5098cc3d..8cbbfc75 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PartialModelSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class PartialModelSpecificationImpl extends PartialModelImpl implements P
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<PartialModelEntry> getEntry()

   {

     if (entry == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
index 55391651..74f93f35 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternElementImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class PatternElementImpl extends PatternEntryImpl implements PatternEleme
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public Pattern getPattern()

   {

     if (pattern != null && pattern.eIsProxy())

@@ -96,6 +97,7 @@ public class PatternElementImpl extends PatternEntryImpl implements PatternEleme
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPattern(Pattern newPattern)

   {

     Pattern oldPattern = pattern;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
index d00accae..8d1df054 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -67,6 +67,7 @@ public class PatternEntryImpl extends MinimalEObjectImpl.Container implements Pa
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternModel getPackage()

   {

     if (package_ != null && package_.eIsProxy())

@@ -97,6 +98,7 @@ public class PatternEntryImpl extends MinimalEObjectImpl.Container implements Pa
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setPackage(PatternModel newPackage)

   {

     PatternModel oldPackage = package_;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
index 410ad21c..4f1d658b 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/PatternSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class PatternSpecificationImpl extends GraphPatternImpl implements Patter
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<PatternEntry> getEntries()

   {

     if (entries == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
index d19d0bfb..3f816602 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealEnumerationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -67,6 +67,7 @@ public class RealEnumerationImpl extends NumberSpecificationImpl implements Real
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<BigDecimal> getEntry()

   {

     if (entry == null)

@@ -154,7 +155,7 @@ public class RealEnumerationImpl extends NumberSpecificationImpl implements Real
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (entry: ");

     result.append(entry);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
index e34982fc..bb84a7a0 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
index a936da12..0c056561 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
index dc3d6fc9..d0e208ea 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RealTypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class RealTypeScopeImpl extends TypeScopeImpl implements RealTypeScope
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public RealReference getType()

   {

     return type;

@@ -93,6 +94,7 @@ public class RealTypeScopeImpl extends TypeScopeImpl implements RealTypeScope
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setType(RealReference newType)

   {

     if (newType != type)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RuntimeEntryImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RuntimeEntryImpl.java
index 9abb1448..cf1f7277 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RuntimeEntryImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/RuntimeEntryImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -73,6 +73,7 @@ public class RuntimeEntryImpl extends ConfigEntryImpl implements RuntimeEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public int getMillisecLimit()

   {

     return millisecLimit;

@@ -83,6 +84,7 @@ public class RuntimeEntryImpl extends ConfigEntryImpl implements RuntimeEntry
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setMillisecLimit(int newMillisecLimit)

   {

     int oldMillisecLimit = millisecLimit;

@@ -167,7 +169,7 @@ public class RuntimeEntryImpl extends ConfigEntryImpl implements RuntimeEntry
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (millisecLimit: ");

     result.append(millisecLimit);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
index c731abbb..f511fd58 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeDeclarationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ScopeDeclarationImpl extends DeclarationImpl implements ScopeDeclar
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ScopeSpecification getSpecification()

   {

     return specification;

@@ -93,6 +94,7 @@ public class ScopeDeclarationImpl extends DeclarationImpl implements ScopeDeclar
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSpecification(ScopeSpecification newSpecification)

   {

     if (newSpecification != specification)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
index 92309b90..60c41361 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
index 74f1c235..20690057 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class ScopeReferenceImpl extends ScopeImpl implements ScopeReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public ScopeDeclaration getReferred()

   {

     if (referred != null && referred.eIsProxy())

@@ -95,6 +96,7 @@ public class ScopeReferenceImpl extends ScopeImpl implements ScopeReference
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setReferred(ScopeDeclaration newReferred)

   {

     ScopeDeclaration oldReferred = referred;

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
index b9e4f045..fa2dc2fa 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ScopeSpecificationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -70,6 +70,7 @@ public class ScopeSpecificationImpl extends ScopeImpl implements ScopeSpecificat
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<TypeScope> getScopes()

   {

     if (scopes == null)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
index 7e72525a..d7099377 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringEnumerationImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -65,6 +65,7 @@ public class StringEnumerationImpl extends NumberSpecificationImpl implements St
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public EList<String> getEntry()

   {

     if (entry == null)

@@ -152,7 +153,7 @@ public class StringEnumerationImpl extends NumberSpecificationImpl implements St
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (entry: ");

     result.append(entry);

     result.append(')');

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
index c6b29515..fdadc041 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
index c9c60e7b..73954749 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
index 1f0f0b2e..ca34c856 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/StringTypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class StringTypeScopeImpl extends TypeScopeImpl implements StringTypeScop
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public StringReference getType()

   {

     return type;

@@ -93,6 +94,7 @@ public class StringTypeScopeImpl extends TypeScopeImpl implements StringTypeScop
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setType(StringReference newType)

   {

     if (newType != type)

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
index ace0d069..566ad8a8 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TaskImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
index 93ad169a..eecca2dc 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeReferenceImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
index 9ae4fe6e..7f88e02d 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/TypeScopeImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -109,6 +109,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isSetsNew()

   {

     return setsNew;

@@ -119,6 +120,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSetsNew(boolean newSetsNew)

   {

     boolean oldSetsNew = setsNew;

@@ -132,6 +134,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public boolean isSetsSum()

   {

     return setsSum;

@@ -142,6 +145,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setSetsSum(boolean newSetsSum)

   {

     boolean oldSetsSum = setsSum;

@@ -155,6 +159,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public NumberSpecification getNumber()

   {

     return number;

@@ -182,6 +187,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setNumber(NumberSpecification newNumber)

   {

     if (newNumber != number)

@@ -310,7 +316,7 @@ public class TypeScopeImpl extends MinimalEObjectImpl.Container implements TypeS
   {

     if (eIsProxy()) return super.toString();

 

-    StringBuffer result = new StringBuffer(super.toString());

+    StringBuilder result = new StringBuilder(super.toString());

     result.append(" (setsNew: ");

     result.append(setsNew);

     result.append(", setsSum: ");

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ViatraImportImpl.java b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ViatraImportImpl.java
index 1cd02845..bb635f63 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ViatraImportImpl.java
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/applicationConfiguration/impl/ViatraImportImpl.java
@@ -1,5 +1,5 @@
 /**

- * generated by Xtext 2.12.0

+ * generated by Xtext 2.21.0

  */

 package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.impl;

 

@@ -66,6 +66,7 @@ public class ViatraImportImpl extends ImportImpl implements ViatraImport
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public PatternModel getImportedViatra()

   {

     if (importedViatra != null && importedViatra.eIsProxy())

@@ -96,6 +97,7 @@ public class ViatraImportImpl extends ImportImpl implements ViatraImport
    * <!-- end-user-doc -->

    * @generated

    */

+  @Override

   public void setImportedViatra(PatternModel newImportedViatra)

   {

     PatternModel oldImportedViatra = importedViatra;