Symbol database: improved handling of array members