Warn for existential variables in head pattern referred only once
SCL CHR syntax allows the following definitions:
when Relation1 ?variable Relation2 ?variable then doSomething ?variable
where the constraint having a variable with typo is effectively ignored.
To prevent such bugs, warn for variables in head patterns that are referred only once. They can be replaced by wildcard _.
Edited by Tuukka Lehtonen