Rename cat built-in 'New()' to 'newSet()'.

Rename 'new()' to 'newRelation()'.

Author: xeren

dartagnan/src/main/antlr4/Cat.g4

@@ -53,7 +53,8 @@ expression
     |   (TOID LPAR e = expression RPAR | LBRAC e = expression RBRAC)    # exprIdentity
     |   LPAR e = expression RPAR                                        # expr
     |   n = NAME                                                        # exprBasic
-    |   call = NEW LPAR RPAR                                            # exprNew
+    |   NEW_SET LPAR RPAR                                               # exprNewSet
+    |   NEW_RELATION LPAR RPAR                                          # exprNewRelation
     |   call = NAME LPAR args = argumentList RPAR                       # exprCall
     ;
 
@@ -103,9 +104,10 @@ LBRAC   :   '[';
 RBRAC   :   ']';
 COMMA   :   ',';
 
-DOMAIN      :   'domain';
-RANGE       :   'range';
-NEW         :   '[n|N]ew';
+DOMAIN       :   'domain';
+RANGE        :   'range';
+NEW_SET      :   'newSet';
+NEW_RELATION :   'newRelation';
 
 FLAG       :   'flag';
 UNDEFINED  :   'undefined_unless';

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/cat/VisitorCat.java

@@ -203,9 +203,13 @@ public Object visitExpr(ExprContext ctx) {
     }
 
     @Override
-    public Object visitExprNew(ExprNewContext ctx) {
-        final boolean unary = ctx.call.getText().equals("New");
-        return addDefinition(new Free(wmm.newRelation(unary ? Relation.Arity.UNARY : Relation.Arity.BINARY)));
+    public Object visitExprNewSet(ExprNewSetContext ctx) {
+        return addDefinition(new Free(wmm.newRelation(Relation.Arity.UNARY)));
+    }
+
+    @Override
+    public Object visitExprNewRelation(ExprNewRelationContext ctx) {
+        return addDefinition(new Free(wmm.newRelation(Relation.Arity.BINARY)));
     }
 
     @Override