sig
exception No_such_while
val get_loop_stmts :
Db_types.kernel_function -> Cil_types.stmt -> Cilutil.StmtSet.t
val is_natural : Db_types.kernel_function -> Cil_types.stmt -> bool
val get_naturals :
Db_types.kernel_function -> (Cil_types.stmt * Cil_types.stmt list) list
val back_edges :
Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt list
val while_for_natural_loop :
Db_types.kernel_function -> Cil_types.stmt -> Cil_types.stmt
end