}

# return the set union of U and V
# where U and V are sets repsented as comma-delimited lists
function set_union() {
    U=$1
    V=$2
    if [ -z "$U" ]; then
      echo $V
    elif [ -z "$V" ]; then
      echo $U
    else