set-union will cause a contract error, switch to remove-duplicates