test for bracketedLinearize

testsuite/runtime/linearize/brackets.gfs

@@ -0,0 +1,12 @@
+i -src testsuite/runtime/linearize/TestCnc.gf
+
+l -bracket Even ?
+l -bracket Exist (\x -> <Even : E -> S> x)
+l -bracket f  a
+l -bracket fa a
+l -bracket fb a
+l -bracket IsString "abcd"
+l -bracket IsInteger 100
+l -bracket IsFloat   12.4
+l -bracket <IsString "xyz" : S>
+l -bracket <\x -> x : S -> S>

testsuite/runtime/linearize/brackets.gfs.gold

@@ -0,0 +1,28 @@
+(S (E (String ?1)) is even)
+
+
+(S exists (S (String x)) such that (S (S (E (String x)) is even)))
+
+
+(S (E a))
+
+
+(S (E aa) a)
+
+
+(S (E a) b)
+
+
+(S (String abcd) is string)
+
+
+(S (Int 100) is integer)
+
+
+(S (Float 12.4) is float)
+
+
+(S (String xyz) is string)
+
+
+cannot linearize