Updated older regular-tracing testcases

The older regular-tracing testcases didn't use the can-close-loop-annotation