Fixing in tests cases

Signed-off-by: Rodrigo Ribeiro <rodrigogribeiro@gmail.com>

Author: rodrigogribeiro

test/examples/cases/bound-with-pragma.solc

@@ -11,4 +11,4 @@ data TestType(x) = TestType;
 
 // Variable 'bad' appears in context but not in instance head
 // But pragma disables the check, so should pass
-forall x . bad:TestHelper(x) => instance TestType(x):TestBound {}
+forall x bad . bad:TestHelper(x) => instance TestType(x):TestBound {}

test/examples/cases/pragma_merge_base.solc

@@ -41,7 +41,7 @@ instance TestType2:TestClassC2(TestType2, TestType2) {}
 // === Bound Variable Violations ===
 
 // Fails Bound Variable & Patterson: Variable 'c' appears in context but not in instance head
-forall a . c:TestClassB2(a) => instance TestType1(a):TestClassB1 {}
+forall a c . c:TestClassB2(a) => instance TestType1(a):TestClassB1 {}
 
 // Bound Variable OK: Simple instance without context
 instance TestType1(TestType2):TestClassB2(TestType2) {}

test/examples/cases/pragma_merge_import.solc

@@ -19,8 +19,8 @@ forall i j . (i,j):TestClassP1 => instance i:TestClassC3(j) {}
 forall i j . (i,j):TestClassP1 => instance i:TestClassP3(j) {}
 
 // fails bound var & patterson (pragma set here)
-forall a . c:TestClassB1(a) => instance TestType1(a):TestClassB4 {}
+forall a c . c:TestClassB1(a) => instance TestType1(a):TestClassB4 {}
 
 // fails bound var & patterson (pragma set in base)
-forall a . c:TestClassB1(a) => instance TestType1(a):TestClassB3 {}
+forall a c . c:TestClassB1(a) => instance TestType1(a):TestClassB3 {}