Analyzer.core: Fix doctest