Updates test cases

The test cases were still using the old syntax for the loop-annotation