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