semmle-extractor-options: --dont-split-graph