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))