Bugfix: fix a bug where incompatible reference would not be correctly reported and lead to an infinite loop

Also introduced a test. However this currently fails because of #5 (closed)

Fix #4 (closed)