Add a failing test case.

It is possible to fool constraint generation by assigning a variable to itself.
The reason is that the rm(..) operation is applied too early. We probably need
a placeholder symbols for these situations