let
get_loop_int_post stmt =
try
Hashtbl
.find loop_int_post stmt
with
_
->
mk_full_pre_or_post()