diff --git a/k-distribution/tests/regression-new/bison-glr-bug/iele.k b/k-distribution/tests/regression-new/bison-glr-bug/iele.k
index 03f2ff95b90..a65644c2308 100644
--- a/k-distribution/tests/regression-new/bison-glr-bug/iele.k
+++ b/k-distribution/tests/regression-new/bison-glr-bug/iele.k
@@ -2,7 +2,7 @@
 module IELE-SYNTAX
   imports IELE-COMMON
   syntax IeleNameToken  ::=
-    r"(?<![A-Za-z0-9\\_\\.\\-\\$])[a-zA-Z\\.\\_\\$][0-9a-zA-Z\\.\\_\\-\\$]*" [notInRules, prec(3), token]
+    r"(?<![A-Za-z0-9\\_\\.\\-\\$])[a-zA-Z\\.\\_\\$][0-9a-zA-Z\\.\\_\\-\\$]*" [prec(3), token]
   syntax Keyword  ::=
     "load" [token]
   | "store" [token]
@@ -321,7 +321,7 @@ module IELE-COMMON
     List{LabeledBlock,""} [klabel(labeledBlockList)]
   syntax UnlabeledBlock  ::=
     Instructions
-  syntax Blocks [flatPredicate]
+  syntax Blocks
   syntax Blocks  ::=
     UnlabeledBlock LabeledBlocks [avoid]
   | LabeledBlocks
diff --git a/k-distribution/tests/regression-new/bracket-priority/test.k b/k-distribution/tests/regression-new/bracket-priority/test.k
index fea2d4fcc9d..dbbb89ad00d 100644
--- a/k-distribution/tests/regression-new/bracket-priority/test.k
+++ b/k-distribution/tests/regression-new/bracket-priority/test.k
@@ -7,7 +7,7 @@ syntax Exp ::= "(" Name ExpList ")"
 syntax Exp ::= Int
              | Name
 syntax Name ::= Id
-syntax ExpList ::= List{Exp,""} [expList]
+syntax ExpList ::= List{Exp,""} [group(expList)]
 syntax Name ::= BuiltinName
 syntax BuiltinName ::= "+"
 
diff --git a/k-distribution/tests/regression-new/checkWarns/syntaxGroups.k b/k-distribution/tests/regression-new/checkWarns/syntaxGroups.k
index fbf82d71f9f..a76293d11f9 100644
--- a/k-distribution/tests/regression-new/checkWarns/syntaxGroups.k
+++ b/k-distribution/tests/regression-new/checkWarns/syntaxGroups.k
@@ -1,7 +1,7 @@
 // Copyright (c) K Team. All Rights Reserved.
 module SYNTAXGROUPS-SYNTAX
-  syntax Exp  ::= Exp "*" Exp [times, unused]
-                > Exp "+" Exp [plus,  unused]
+  syntax Exp  ::= Exp "*" Exp [group(times), unused]
+                > Exp "+" Exp [group(plus),  unused]
 
   syntax left times plus
 endmodule
diff --git a/kernel/src/main/java/org/kframework/compile/checks/CheckAtt.java b/kernel/src/main/java/org/kframework/compile/checks/CheckAtt.java
index 4c91405e0c9..47c423c3481 100644
--- a/kernel/src/main/java/org/kframework/compile/checks/CheckAtt.java
+++ b/kernel/src/main/java/org/kframework/compile/checks/CheckAtt.java
@@ -63,7 +63,7 @@ private void checkUnrecognizedAtts(Sentence sentence) {
          */
         if (!sentence.att().rawKeys().isEmpty()) {
             errors.add(KEMException.compilerError("Unrecognized attributes: " +
-                    sentence.att().rawKeys().mkString("[", ",", "]") +
+                    sentence.att().rawKeys().mkString("[", ", ", "]") +
                     "\nHint: User-defined groups can be added with the group(_) attribute.", sentence));
         }
     }
diff --git a/kore/src/main/scala/org/kframework/attributes/Att.scala b/kore/src/main/scala/org/kframework/attributes/Att.scala
index 6c1beaf560d..cee110466a2 100644
--- a/kore/src/main/scala/org/kframework/attributes/Att.scala
+++ b/kore/src/main/scala/org/kframework/attributes/Att.scala
@@ -191,6 +191,7 @@ object Att {
   final val ML_BINDER = Key("mlBinder", KeyType.BuiltIn)
   final val ML_OP = Key("mlOp", KeyType.BuiltIn)
   final val MULTIPLICITY = Key("multiplicity", KeyType.BuiltIn)
+  final val NO_EVALUATORS = Key("no-evaluators", KeyType.BuiltIn)
   final val NO_THREAD = Key("noThread", KeyType.BuiltIn)
   final val NON_ASSOC = Key("non-assoc", KeyType.BuiltIn)
   final val NON_EXECUTABLE = Key("non-executable", KeyType.BuiltIn)
@@ -200,6 +201,7 @@ object Att {
   final val PARSER = Key("parser", KeyType.BuiltIn)
   final val PREC = Key("prec", KeyType.BuiltIn)
   final val PREFER = Key("prefer", KeyType.BuiltIn)
+  final val PRESERVES_DEFINEDNESS = Key("preserves-definedness", KeyType.BuiltIn)
   final val PRIORITY = Key("priority", KeyType.BuiltIn)
   final val PRIVATE = Key("private", KeyType.BuiltIn)
   final val PUBLIC = Key("public", KeyType.BuiltIn)
@@ -213,6 +215,7 @@ object Att {
   final val SMT_LEMMA = Key("smt-lemma", KeyType.BuiltIn)
   final val STREAM = Key("stream", KeyType.BuiltIn)
   final val STRICT = Key("strict", KeyType.BuiltIn)
+  final val STRUCTURAL = Key("structural", KeyType.BuiltIn)
   final val SYMBOL = Key("symbol", KeyType.BuiltIn)
   final val SYMBOLIC = Key("symbolic", KeyType.BuiltIn)
   final val TAG = Key("tag", KeyType.BuiltIn)