sig
  type loop
  val kf : Cil_types.kernel_function
  val widening_delay : int
  val widening_period : int
  val slevel : Cil_types.stmt -> int
  val merge : Cil_types.stmt -> bool
  val unroll : State_partitioning.Param.loop -> int
end