Seemingly same test cases mozilla0003-test and mozilla0007-test

[krk]

What is the difference between the following test cases?

mozilla0003-test
mozilla0007-test

[abarth]

They seem to be the same (and therefore redundant).