Added tests for generation of distributed union (of sets)
Minor imrpovements to handling of distributed concatenation in the utility code
Added generation of distributed union (for sets)
Corrected test results related to generation of distributed union