sig
  type wto =
      Nil
    | Node of Cil_types.stmt * Wto_statement.wto
    | Component of Wto_statement.wto * Wto_statement.wto
  module WTO : Datatype.S
  val depth_of_stmt : Cil_types.stmt -> int
  val wto_of_kf : Cil_types.kernel_function -> Wto_statement.wto
end