reverted to pushdown1; merging with selfadjusting (make infra more
reusable)
merge with selfadjusting
fixed stupid Boolean.equals bug; object sets now are ArraySets iso.
HashSets; disabled read checking in purityAnalysis
performance improvements v2: no more Addr, l.abstRef