impemented new feature. Enumeration of sets defined by predicated and bound vars works now for a subset of cases
where bound vars affect each other. e.g {x,y| x:{1,2,3} & y=f(x)}
+ test enabled and passes