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