sig   module Loop_analysis :     sig       val analyze : Kernel_function.t -> unit       val get_bounds : Cil_types.stmt -> int option       val fold_bounds : (Cil_types.stmt -> int -> '-> 'a) -> '-> 'a     end end