Fixed in SAT, SATSEQ. Many IList where changed to arrays to improve the time performance on mono