module Loop:sig
..end
val is_natural : Cil_types.kernel_function -> Cil_types.stmt -> bool
val get_naturals : Cil_types.kernel_function -> Cil_types.stmt list Cil_datatype.Stmt.Map.t
val is_non_natural : Cil_types.kernel_function -> Cil_types.stmt -> bool
val get_non_naturals : Cil_types.kernel_function -> Cil_datatype.Stmt.Set.t
val back_edges : Cil_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list