Forgot to work on a copy of the VMs set in SplitChecker