compiler.tree.propagation.transforms: intersect and diff should return type of set2.