let is_empty_pre_post (pre_st,_) =
  is_empty_pre_post__ pre_st