sig
  exception No_such_while
  val get_loop_stmts :
    Db_types.kernel_function -> Cil_types.stmt -> Cil_datatype.Stmt.Set.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