Update tests

Author: zoep

tests/hevm/pass/cast-6/cast-6.act renamed to tests/hevm/fail/aliasing-2/aliasing-2.act

@@ -68,13 +68,3 @@ iff
 creates
    A a := y.a
    B b := y 
-
-behaviour change of C
-interface change()
-
-iff
-
-  CALLVALUE == 0
-  
-storage
-  a => create A(42)

tests/hevm/pass/cast-6/cast-6.sol renamed to tests/hevm/fail/aliasing-2/aliasing-2.sol

@@ -4,11 +4,11 @@ contract A {
     uint public x;
 
     constructor (uint z)  {
-	x = z;
+        x = z;
     }
 
     function set_x(uint z) public{
-	x = z;
+        x = z;
     }
 }
 
@@ -17,8 +17,8 @@ contract B {
     A public a;
 
     constructor (uint z)  {
-	y = z;
-	a = new A(0);
+        y = z;
+        a = new A(0);
     }    
 }
 
@@ -27,11 +27,11 @@ contract C {
     B b;
 
     constructor (address y)  {
-	a = B(y).a();
-	b = B(y);
+        a = B(y).a();
+        b = B(y);
     }
 
     function change() public {
-	a = new A(42);
+        a = new A(42);
     }
 }