value flow: fixed fp when checking symboldatabase