compiler.tree.propagation.transforms: fix intersect and add intersects?.
compiler.tree.propagation.transforms: also fix diff.