let
is_empty_pre_post (pre_st,_) =
is_empty_pre_post__ pre_st