-- Andreas, 2021-02-03
-- Should get notification when coercions overlap proper rules.

EInt.  Exp1 ::= Integer;
EPar.  Exp1 ::= "(" Exp ")";
EPlus. Exp  ::= Exp "+" Exp1;

coercions Exp 1;

-- Complains about duplication of rule EPar.