instead of having `backupIndex` change to `len(a) != 0 || n != 0`, where `n` - size dependecy nat
instead of having
backupIndexchange tolen(a) != 0 || n != 0, wheren- size dependecy nat