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