let lcState_of_lcIndex configurations =
  let depth = Array.length configurations in
fun (lc:lc_index) ->
  assert (Array.length lc = depth);
  let result = Array.make depth [||] in
  for i=0 to pred depth do
    result.(i) <- Array.map (Array.get configurations.(i)) lc.(i)
  done;
  result