tests: update sav because line changes in std/array.nit