add AloadStmt handle method to deal with stmt like: v1 = v2[0]...[0] where v2 = new X[10][10]...[10], also add some assertion that if a local variable is used as RHS it must have been created by the factory before