Added simple testcase for testing trace-merging