peterthiemann/gradual-java — pull request #5 by luminousfennell (2014-07-08 15:03:06+00:00)
Title: 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