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