sig
  val reachedStatement :
    Cil_types.stmt -> Cil_types.stmt -> ReachingDef.t -> unit
  val compute : Cil_types.stmt list -> unit
  val worklist : Cil_types.stmt Queue.t
end