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