diff --git a/testcases/automatic/chan-ends.occ.test b/testcases/automatic/chan-ends.occ.test
index 5954783..8c835cd 100644
--- a/testcases/automatic/chan-ends.occ.test
+++ b/testcases/automatic/chan-ends.occ.test
@@ -200,30 +200,30 @@ PROC main()
   foo(c!)
 
 %PASS Both body sep abbrev, with no direction
-  CHAN INT d IS c:
+  CHAN INT d IS c!:
   SEQ
     d ! 3
-    CHAN INT e IS c:
+    CHAN INT e IS c?:
     INT x:
     e ? x
 %M
   foo(c)
 
 %FAIL Both body sep abbrev, with input direction
-  CHAN INT d IS c:
+  CHAN INT d IS c!:
   SEQ
     d ! 3
-    CHAN INT e IS c:
+    CHAN INT e IS c?:
     INT x:
     e ? x
 %M
   foo(c?)
 
 %FAIL Both body sep abbrev, with output direction
-  CHAN INT d IS c:
+  CHAN INT d IS c!:
   SEQ
     d ! 3
-    CHAN INT e IS c:
+    CHAN INT e IS c?:
     INT x:
     e ? x
 %M
diff --git a/testcases/automatic/direction-decorators-1.occ.test b/testcases/automatic/direction-decorators-1.occ.test
index 5d07b66..4d88288 100644
--- a/testcases/automatic/direction-decorators-1.occ.test
+++ b/testcases/automatic/direction-decorators-1.occ.test
@@ -13,6 +13,7 @@ PROC main ()
 %PASS Normal kinds of abbreviations
     -- Actually, these probably shouldn't be allowed, since they're
     -- abbreviating a whole channel.
+    #PRAGMA PERMITALIASES c
     CHAN INT abbrev IS c:
     inferred.abbrev IS c:
 
diff --git a/testcases/automatic/direction-decorators-2.occ.test b/testcases/automatic/direction-decorators-2.occ.test
index 276636b..9d36150 100644
--- a/testcases/automatic/direction-decorators-2.occ.test
+++ b/testcases/automatic/direction-decorators-2.occ.test
@@ -5,6 +5,7 @@ PROC main ()
   [10]CHAN INT cs:
   INT n:
 
+  #PRAGMA PERMITALIASES c
   CHAN INT out! IS c!:
   CHAN INT in? IS c?:
 
diff --git a/testcases/automatic/initial-result-1.occ.test b/testcases/automatic/initial-result-1.occ.test
index 30ed432..98fcaeb 100644
--- a/testcases/automatic/initial-result-1.occ.test
+++ b/testcases/automatic/initial-result-1.occ.test
@@ -12,6 +12,7 @@ PROC main ()
 :
 
 %PASS Normal kinds of abbreviations
+  #PRAGMA PERMITALIASES var, const
   INT abbrev IS var:
   inferred.abbrev IS var:
   VAL INT val IS var: