fix for a+=value

test/contracts/Non-Secret-Array.zol

@@ -4,20 +4,22 @@ contract Assign {
 secret uint256 private a;
 secret uint256 private b;
 uint256 public index;
-uint256 public d;
 uint256 [3] public c;
 
 function add( uint256 value) public {   
+require(index < c.length, "Index out of bounds");
 c[index] += value;
 }
 
 function add1( uint256 value) public {
+require(index < c.length, "Index out of bounds");
 c[index] += value;
-known a +=d;
+known a +=value;
 
 }
 
 function add2( uint256 value) public {
+    require(index < c.length, "Index out of bounds");
 c[index] += value;
 known a += value;
 }