let
get_loop_ext_pre stmt =
try
Hashtbl
.find loop_ext_pre stmt
with
_
->
mk_full_pre_or_post()