Added test that checks whether the differ recognizes identical
statements with different neighbors.

TODO: fix differ