Add a test-case - check redundancies