Web Console test for bug 939783 - different console.trace() calls wrongly filtered as duplicates