removed wrong tests

There were tests that tested for a wrong behavior of uninterpret.