sig
  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
end