diff --git a/testdata/parser/positive/tarry.pdl b/testdata/parser/positive/tarry.pdl
index 78582acc437fe5cfff483421127fae22f21786ff..e1ef90cfdaada7279a8a1047037979ebb1033006 100644
--- a/testdata/parser/positive/tarry.pdl
+++ b/testdata/parser/positive/tarry.pdl
@@ -43,7 +43,7 @@ primitive initiator(in start, out end, in[] peeri, out[] peero) {
 	while (true) {
 		// Step 1. Initiator waits for token
 		while (token == null) {
-			synchronous {
+			sync {
 				if (fires(start)) {
 					token = get(start);
 				}
@@ -59,7 +59,7 @@ primitive initiator(in start, out end, in[] peeri, out[] peero) {
 			int idx = 0;
 			// Select first channel that accepts our token
 			while (token != null) {
-				synchronous {
+				sync {
 					int i = 0;
 					while (i < neighboro.length) {
 						if (fires(neighboro[i])) {
@@ -78,7 +78,7 @@ primitive initiator(in start, out end, in[] peeri, out[] peero) {
 			neighboro = neighboro[0:idx] @ neighboro[idx:neighboro.length];
 			// Step 3. Await return of token
 			while (token == null) {
-				synchronous {
+				sync {
 					int i = 0;
 					while (i < peeri.length + neighbori.length) {
 						if (fires(peeri@neighbori[i])) {
@@ -91,7 +91,7 @@ primitive initiator(in start, out end, in[] peeri, out[] peero) {
 		}
 		// Step 4. Token is back and all neighbors visited
 		while (token != null) {
-			synchronous {
+			sync {
 				if (fires(end)) {
 					put(end, token);
 					token = null;
@@ -111,7 +111,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 		int idx = 0;
 		// Step 1. Await token for first time
 		while (token == null) {
-			synchronous {
+			sync {
 				int i = 0;
 				while (i < peeri.length) {
 					if (fires(peeri[i])) {
@@ -131,7 +131,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 		peero = {};
 		// Step 2. Non-initiator signals
 		while (token != null) {
-			synchronous {
+			sync {
 				if (fires(end)) {
 					put(end, token);
 					token = null;
@@ -139,7 +139,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 			}
 		}
 		while (token == null) {
-			synchronous {
+			sync {
 				if (fires(start)) {
 					token = get(start);
 				}
@@ -150,7 +150,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 			idx = 0;
 			// Select first channel that accepts our token
 			while (token != null) {
-				synchronous {
+				sync {
 					int i = 0;
 					while (i < neighboro.length) {
 						if (fires(neighboro[i])) {
@@ -169,7 +169,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 			neighboro = neighboro[0:idx] @ neighboro[idx:neighboro.length];
 			// Step 4. Await return of token
 			while (token == null) {
-				synchronous {
+				sync {
 					int i = 0;
 					while (i < peeri.length + neighbori.length) {
 						if (fires(peeri@neighbori[i])) {
@@ -182,7 +182,7 @@ primitive noninitiator(out start, in end, in[] peeri, out[] peero) {
 		}
 		// Step 5. Token is back, pass to parent
 		while (token != null) {
-			synchronous {
+			sync {
 				if (fires(parento[0])) {
 					put(parento[0], token);
 					token = null;