let get_loop_int_pre stmt =
  try Hashtbl.find loop_int_pre stmt with _ -> mk_full_pre_or_post()