Shuffle Arguments Based on Subset-Checking