Listing the full rule in a priorities section is allowed and even necessary when you want to talk about an injection like in the Stratego 2 syntax: ```sdf3 context-free priorities StrategoLang-Term.NoAnnoList = StrategoLang-PreTerm { } <0>. > {StrategoLang-PreTerm = StrategoLang-Var { } StrategoLang-PreTerm = StrategoLang-Wld { }} ``` But this is seen as a new definition of an existing constructor, which is incorrect.