sig
  val to_ordered : Cil_types.stmt -> Ordered_stmt.ordered_stmt
  val to_stmt : Ordered_stmt.ordered_stmt -> Cil_types.stmt
  val connected_component : Ordered_stmt.ordered_stmt -> int
  val nb_stmts : int
  val kf : Kernel_function.t
end