sig
  val compute : Locations.Zone.t -> (Cil_types.stmt * Writes.effects) list
end