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