Added test-case for generating a trace-explosion