let get_global_loop_inv ref_stmt =
  double_bool_array_or
    (double_bool_array_or
       (Spec_tools.pre_flattening (Data_for_aorai.get_loop_int_pre_bycase ref_stmt))
       (Spec_tools.pre_flattening (Data_for_aorai.get_loop_ext_pre_bycase ref_stmt)))
    (Spec_tools.pre_flattening (Data_for_aorai.get_loop_int_post_bycase ref_stmt))