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)
Also introduced a test. However this currently fails because of #5 (closed)
Fix #4 (closed)