let bool_array_eq_bycase bc_arr1 bc_arr2 =
if Array.length bc_arr1 <> Array.length bc_arr2 then
assert false;
let res=ref true in
Array.iteri
(fun case b1 -> if not (bool_array_eq b1 (bc_arr2.(case))) then res :=false)
bc_arr1;
!res