semmle-extractor-options: