Index: tests/meta/.expect/arch.arm64.txt
===================================================================
--- tests/meta/.expect/arch.arm64.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
+++ tests/meta/.expect/arch.arm64.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
@@ -0,0 +1,53 @@
+meta/arch.cfa:28:1 error: Cannot choose between 3 alternatives for expression
+Explicit Cast of:
+  Name: FA64
+... to:
+  char
+... with resolved type:
+  char Alternatives are:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FA64: double
+      ... with resolved type:
+        double
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FA64: function
+        accepting unspecified arguments
+      ... returning nothing
+
+      ... with resolved type:
+        pointer to function
+          accepting unspecified arguments
+        ... returning nothing
+
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FA64: signed int
+      ... with resolved type:
+        signed int
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+
Index: tests/meta/.expect/arch.x64.txt
===================================================================
--- tests/meta/.expect/arch.x64.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
+++ tests/meta/.expect/arch.x64.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
@@ -0,0 +1,53 @@
+meta/arch.cfa:28:1 error: Cannot choose between 3 alternatives for expression
+Explicit Cast of:
+  Name: FX64
+... to:
+  char
+... with resolved type:
+  char Alternatives are:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX64: double
+      ... with resolved type:
+        double
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX64: function
+        accepting unspecified arguments
+      ... returning nothing
+
+      ... with resolved type:
+        pointer to function
+          accepting unspecified arguments
+        ... returning nothing
+
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX64: signed int
+      ... with resolved type:
+        signed int
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+
Index: tests/meta/.expect/arch.x86.txt
===================================================================
--- tests/meta/.expect/arch.x86.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
+++ tests/meta/.expect/arch.x86.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
@@ -0,0 +1,53 @@
+meta/arch.cfa:28:1 error: Cannot choose between 3 alternatives for expression
+Explicit Cast of:
+  Name: FX86
+... to:
+  char
+... with resolved type:
+  char Alternatives are:
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX86: double
+      ... with resolved type:
+        double
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX86: function
+        accepting unspecified arguments
+      ... returning nothing
+
+      ... with resolved type:
+        pointer to function
+          accepting unspecified arguments
+        ... returning nothing
+
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
+      Variable Expression: FX86: signed int
+      ... with resolved type:
+        signed int
+    ... to:
+      char
+    ... with resolved type:
+      char
+  (types:
+    char
+  )
+  Environment:
+
+
Index: sts/meta/.expect/archVast.nast.arm64.txt
===================================================================
--- tests/meta/.expect/archVast.nast.arm64.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FA64
-... to:
-  char
-... with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: double
-      ... with resolved type:
-        double
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      ... with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: sts/meta/.expect/archVast.nast.x64.txt
===================================================================
--- tests/meta/.expect/archVast.nast.x64.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FX64
-... to:
-  char
-... with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: double
-      ... with resolved type:
-        double
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      ... with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: sts/meta/.expect/archVast.nast.x86.txt
===================================================================
--- tests/meta/.expect/archVast.nast.x86.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FX86
-... to:
-  char
-... with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: double
-      ... with resolved type:
-        double
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      ... with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: signed int
-      ... with resolved type:
-        signed int
-    ... to:
-      char
-    ... with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: sts/meta/.expect/archVast.oast.arm64.txt
===================================================================
--- tests/meta/.expect/archVast.oast.arm64.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FA64
-... to:
-  char
-with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: double
-      with resolved type:
-        double
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FA64: signed int
-      with resolved type:
-        signed int
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: sts/meta/.expect/archVast.oast.x64.txt
===================================================================
--- tests/meta/.expect/archVast.oast.x64.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FX64
-... to:
-  char
-with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: double
-      with resolved type:
-        double
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX64: signed int
-      with resolved type:
-        signed int
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: sts/meta/.expect/archVast.oast.x86.txt
===================================================================
--- tests/meta/.expect/archVast.oast.x86.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,53 +1,0 @@
-meta/archVast.cfa:28:1 error: Cannot choose between 3 alternatives for expression
-Explicit Cast of:
-  Name: FX86
-... to:
-  char
-with resolved type:
-  char Alternatives are:
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: double
-      with resolved type:
-        double
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: function
-        accepting unspecified arguments
-      ... returning nothing
-
-      with resolved type:
-        pointer to function
-          accepting unspecified arguments
-        ... returning nothing
-
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-Cost ( 1, 0, 0, 0, 0, 0, 0 ): Explicit Cast of:
-      Variable Expression: FX86: signed int
-      with resolved type:
-        signed int
-    ... to:
-      char
-    with resolved type:
-      char
-  (types:
-    char
-  )
-  Environment:
-
-
Index: tests/meta/arch.cfa
===================================================================
--- tests/meta/arch.cfa	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
+++ tests/meta/arch.cfa	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
@@ -0,0 +1,32 @@
+//
+// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// arch.cfa -- Check if all architectures are properly distinguished by the test suite
+//
+// Author           : Thierry Delisle
+// Created On       : Tue Nov 03 15:04:53 2020
+// Last Modified By :
+// Last Modified On :
+// Update Count     :
+//
+
+#if defined( __i386 )
+#define NAME FX86
+#elif defined( __x86_64 )
+#define NAME FX64
+#elif defined( __aarch64__ )
+#define NAME FA64
+#endif
+
+int NAME;
+void NAME() {
+	int NAME;
+	double NAME;
+	(char)NAME;
+	(int(*)())NAME;
+}
+
+int main() {}
Index: sts/meta/archVast.cfa
===================================================================
--- tests/meta/archVast.cfa	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,32 +1,0 @@
-//
-// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
-//
-// The contents of this file are covered under the licence agreement in the
-// file "LICENCE" distributed with Cforall.
-//
-// archVast.cfa -- Check if all combinations are of ast/arch are properly distinguished
-//
-// Author           : Thierry Delisle
-// Created On       : Tue Nov 03 15:04:53 2020
-// Last Modified By :
-// Last Modified On :
-// Update Count     :
-//
-
-#if defined( __i386 )
-#define NAME FX86
-#elif defined( __x86_64 )
-#define NAME FX64
-#elif defined( __aarch64__ )
-#define NAME FA64
-#endif
-
-int NAME;
-void NAME() {
-	int NAME;
-	double NAME;
-	(char)NAME;
-	(int(*)())NAME;
-}
-
-int main() {}
Index: sts/warnings/.expect/self-assignment.nast.txt
===================================================================
--- tests/warnings/.expect/self-assignment.nast.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,48 +1,0 @@
-warnings/self-assignment.cfa:34:25: warning: Compiled
-warnings/self-assignment.cfa:29:1 warning: self assignment of expression: Generated Cast of:
-  Variable Expression: j: signed int
-  ... with resolved type:
-    signed int
-... to:
-  reference to signed int
-... with resolved type:
-  reference to signed int
-warnings/self-assignment.cfa:30:1 warning: self assignment of expression: Generated Cast of:
-  Variable Expression: s: instance of struct S with body
-  ... with resolved type:
-    instance of struct S with body
-... to:
-  reference to instance of struct S with body
-... with resolved type:
-  reference to instance of struct S with body
-warnings/self-assignment.cfa:31:1 warning: self assignment of expression: Generated Cast of:
-  Member Expression, with field:
-    i: signed int
-  ... from aggregate:
-    Variable Expression: s: instance of struct S with body
-    ... with resolved type:
-      instance of struct S with body
-  ... with resolved type:
-    signed int
-... to:
-  reference to signed int
-... with resolved type:
-  reference to signed int
-warnings/self-assignment.cfa:32:1 warning: self assignment of expression: Generated Cast of:
-  Member Expression, with field:
-    i: signed int
-  ... from aggregate:
-    Member Expression, with field:
-      s: instance of struct S with body
-    ... from aggregate:
-      Variable Expression: t: instance of struct T with body
-      ... with resolved type:
-        instance of struct T with body
-    ... with resolved type:
-      instance of struct S with body
-  ... with resolved type:
-    signed int
-... to:
-  reference to signed int
-... with resolved type:
-  reference to signed int
Index: sts/warnings/.expect/self-assignment.oast.txt
===================================================================
--- tests/warnings/.expect/self-assignment.oast.txt	(revision b443db063ba041699280cd09c9cdb6cc92a7ed07)
+++ 	(revision )
@@ -1,49 +1,0 @@
-warnings/self-assignment.cfa:29:1 warning: self assignment of expression: Generated Cast of:
-  Variable Expression: j: signed int
-  with resolved type:
-    signed int
-... to:
-  reference to signed int
-with resolved type:
-  reference to signed int
-warnings/self-assignment.cfa:30:1 warning: self assignment of expression: Generated Cast of:
-  Variable Expression: s: instance of struct S with body 1
-  with resolved type:
-    instance of struct S with body 1
-... to:
-  reference to instance of struct S with body 1
-with resolved type:
-  reference to instance of struct S with body 1
-warnings/self-assignment.cfa:31:1 warning: self assignment of expression: Generated Cast of:
-  Member Expression, with field:
-    i: signed int
-  ... from aggregate:
-    Variable Expression: s: instance of struct S with body 1
-    with resolved type:
-      instance of struct S with body 1
-  with resolved type:
-    signed int
-... to:
-  reference to signed int
-with resolved type:
-  reference to signed int
-warnings/self-assignment.cfa:32:1 warning: self assignment of expression: Generated Cast of:
-  Member Expression, with field:
-    i: signed int
-  ... from aggregate:
-    Member Expression, with field:
-      s: instance of struct S with body 1
-    ... from aggregate:
-      Variable Expression: t: instance of struct T with body 1
-      with resolved type:
-        instance of struct T with body 1
-    with resolved type:
-      instance of struct S with body 1
-  with resolved type:
-    signed int
-... to:
-  reference to signed int
-with resolved type:
-  reference to signed int
-warnings/self-assignment.cfa: In function '_X4mainFi___1':
-warnings/self-assignment.cfa:36:9: note: #pragma message: Compiled
Index: tests/warnings/.expect/self-assignment.txt
===================================================================
--- tests/warnings/.expect/self-assignment.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
+++ tests/warnings/.expect/self-assignment.txt	(revision 456215af12e10eb5b087f634e82fba9fd2056d9a)
@@ -0,0 +1,48 @@
+warnings/self-assignment.cfa:34:25: warning: Compiled
+warnings/self-assignment.cfa:29:1 warning: self assignment of expression: Generated Cast of:
+  Variable Expression: j: signed int
+  ... with resolved type:
+    signed int
+... to:
+  reference to signed int
+... with resolved type:
+  reference to signed int
+warnings/self-assignment.cfa:30:1 warning: self assignment of expression: Generated Cast of:
+  Variable Expression: s: instance of struct S with body
+  ... with resolved type:
+    instance of struct S with body
+... to:
+  reference to instance of struct S with body
+... with resolved type:
+  reference to instance of struct S with body
+warnings/self-assignment.cfa:31:1 warning: self assignment of expression: Generated Cast of:
+  Member Expression, with field:
+    i: signed int
+  ... from aggregate:
+    Variable Expression: s: instance of struct S with body
+    ... with resolved type:
+      instance of struct S with body
+  ... with resolved type:
+    signed int
+... to:
+  reference to signed int
+... with resolved type:
+  reference to signed int
+warnings/self-assignment.cfa:32:1 warning: self assignment of expression: Generated Cast of:
+  Member Expression, with field:
+    i: signed int
+  ... from aggregate:
+    Member Expression, with field:
+      s: instance of struct S with body
+    ... from aggregate:
+      Variable Expression: t: instance of struct T with body
+      ... with resolved type:
+        instance of struct T with body
+    ... with resolved type:
+      instance of struct S with body
+  ... with resolved type:
+    signed int
+... to:
+  reference to signed int
+... with resolved type:
+  reference to signed int