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