Parser-Erweiterung substitution

src/main/antlr4/edu/kit/formal/proofscriptparser/ScriptLanguage.g4

@@ -47,6 +47,7 @@ expression
     :
         MINUS expression   #exprNegate
     |   NOT expression  #exprNot
+    |   expression '[' substExpressionList ']'  #exprSubst
     |   expression MUL expression #exprMultiplication
     |   <assoc=right> expression DIV expression #exprDivision
     |   expression op=(PLUS|MINUS) expression #exprLineOperators
@@ -61,6 +62,12 @@ expression
     | matchPattern         #exprMatch
 ;
 
+
+substExpressionList
+    :
+    scriptVar '/' expression (',' substExpressionList)*
+    ;
+
 literals :
         ID             #literalID
     |   DIGITS         #literalDigits
@@ -165,6 +172,7 @@ DEDENT : '}' ;
 SEMICOLON : ';' ;
 COLON : ':' ;
 
+
 STRING_LITERAL
    : '\'' ('\'\'' | ~ ('\''))* '\''
    ;