A bug in AdjacentStateVector

Hello!Every one!
My name is Zeff.Ma. I come from China.Recently, I have been studying codes of SNAP. I found a bug of code in AdjacentStateVector.The nearest State Vector of More than 9000 may not be the nearest sensing time.I found it when i convert code to Matlab. If you think it helpful,please contact me by e-mail at jspcmazhangfeng@163.com