Adding analysis for set expressions.