Class JavaSymbolSolver.ArrayLengthValueDeclaration