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
Merge pull request #5 from luminousfennell/failing-tests

Add a failing test case.