sig
  val reachedStatement :
    Cil_types.stmt -> Cil_types.stmt -> AvailableExps.t -> unit
  val compute : Cil_types.stmt list -> unit
end