update invariants for myLength in 99-problems