sig type effects = { direct : bool; indirect : bool; } val compute : Locations.Zone.t -> (Cil_types.stmt * Studia.Writes.effects) list end