Symbol database: tweaked tests