Big testing update

tests/sprint4/test/sp4_cg_and.alpha

@@ -0,0 +1,10 @@
+type main: integer -> integer
+function test: main
+
+test (a) := {
+        [Boolean:b; Boolean: c; Boolean: d]
+        c := true;
+        d := false;
+        d := c & d;
+        return 1;
+}