let get_loop_ext_post_bycase stmt =
  try Hashtbl.find loop_ext_post_bycase stmt
  with _ -> mk_full_pre_or_post_bycase()