analyzer: Fix a bug in symbol resolution