Apparently they need some kind of check that the source and destination register groups don't overlap.