no memo if source node is same as cached node
Set.subsume bug fixed (solves 'blur' blowup);
memoization now guarded by impureApps membership lookup