let is_empty_pre_post__ pp  =
  Array.fold_left
    (fun isempty value -> isempty && not value)
    true
    pp