Bug: Wrong sequence of test-attribute controlled location traces