Add test case for redundancies