let
get_loop_ext_post stmt =
try
Hashtbl
.find loop_ext_post stmt
with
_
->
mk_full_pre_or_post()