fixed redundancy tests for 3b