let is_empty_post_bc (post_st,_) =
  Array.fold_left
    (fun isempty val_bc -> isempty && is_empty_pre_post__ val_bc)
    true
    post_st