Verification in swapStacks, sided variant