diff --git a/pom.xml b/pom.xml
index 105ce877..1fc3bd1f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -124,6 +124,7 @@ http://maven.apache.org/maven-v4_0_0.xsd">
 				<configuration>
 					<source>17</source>
 					<target>17</target>
+					<compilerArgs>--enable-preview</compilerArgs>
 				</configuration>
 			</plugin>
 		</plugins>
diff --git a/src/main/antlr4/sat/UnifyResult.g4 b/src/main/antlr4/sat/UnifyResult.g4
deleted file mode 100644
index 98b6a5fb..00000000
--- a/src/main/antlr4/sat/UnifyResult.g4
+++ /dev/null
@@ -1,37 +0,0 @@
-grammar UnifyResult;
-
-answer : 'ANSWER' (resultSetRule '.')*;
-
-resultSetRule :
-      parameter
-    | equals
-    | smaller
-    | typeVar
-    | type
-    | otherRule
-    ;
-
-parameterList : '(' value (',' value)*  ')';
-value : NAME
-        | resultSetRule ;
-
-parameter : PARAMLIST_NAME parameterList;
-equals : EQUALS_NAME parameterList;
-smaller : SMALLER_NAME parameterList;
-typeVar : TYPEVAR_NAME parameterList;
-type : TYPE_NAME parameterList;
-otherRule : NAME parameterList;
-
-//TODO: Es sollte Regeln für das Result set geben, welche sich nicht mit den anderen überdecken, dann auch nur diese im Result ausgeben
-PARAMLIST_NAME : 'param';
-EQUALS_NAME : 'equals';
-SMALLER_NAME : 'smaller';
-TYPEVAR_NAME : 'typeVar';
-TYPE_NAME : 'type';
-NAME : [a-zA-Z0-9_]+;
-
-WS  :  [ \t\r\n\u000C]+ -> skip
-    ;
-LINE_COMMENT
-    :   '%' ~[\r\n]* -> skip
-    ;
diff --git a/src/main/antlr4/sat/UnifyResult.tokens b/src/main/antlr4/sat/UnifyResult.tokens
deleted file mode 100644
index 8f9c0e0a..00000000
--- a/src/main/antlr4/sat/UnifyResult.tokens
+++ /dev/null
@@ -1,23 +0,0 @@
-T__0=1
-T__1=2
-T__2=3
-T__3=4
-T__4=5
-PARAMLIST_NAME=6
-EQUALS_NAME=7
-SMALLER_NAME=8
-TYPEVAR_NAME=9
-TYPE_NAME=10
-NAME=11
-WS=12
-LINE_COMMENT=13
-'ANSWER'=1
-'.'=2
-'('=3
-','=4
-')'=5
-'param'=6
-'equals'=7
-'smaller'=8
-'typeVar'=9
-'type'=10
diff --git a/src/main/antlr4/sat/UnifyResultLexer.tokens b/src/main/antlr4/sat/UnifyResultLexer.tokens
deleted file mode 100644
index 8f9c0e0a..00000000
--- a/src/main/antlr4/sat/UnifyResultLexer.tokens
+++ /dev/null
@@ -1,23 +0,0 @@
-T__0=1
-T__1=2
-T__2=3
-T__3=4
-T__4=5
-PARAMLIST_NAME=6
-EQUALS_NAME=7
-SMALLER_NAME=8
-TYPEVAR_NAME=9
-TYPE_NAME=10
-NAME=11
-WS=12
-LINE_COMMENT=13
-'ANSWER'=1
-'.'=2
-'('=3
-','=4
-')'=5
-'param'=6
-'equals'=7
-'smaller'=8
-'typeVar'=9
-'type'=10