early Top in purity analysis
pure.scala => purity.scala
towards taking locality/ownership into account
initial inference of @LocalEffect
delta in data

30317 @Pure annotations, 7893 @LocalEffect annotations
(This, LocalEffect) = LocalEffect
delta in data