tested case {x|x:Nat & x:{1,2,3}}
added new case: {x| x:NAT+->NAT & x={(1,1),(2,2),(3,3)} }