Open
Description
in "AlloyInEcore.g4", in "slot" non-terminal, "eObjectValue" and "dataValue" cause to conflict. Because "eObjectValue" has "pathName" (which has "unrestrictedName" which has "identifier") and "dataValue" has "enumValue" (which has "identifier").
So if any sentence in any "slot" has identifier (for example;
status [slot] : critical [enumValue]
),
parser prefers to accept "critical" as an "objectValue".