non-linear matching outside concrete pattern does not check equality

Example:

```rascal
void foo(Id x, (Stmt)`<Id x> := <Expr _>`)
```

This will match for any `x` in the concrete pattern, not just the `x` bound in the first argument.