semmle-extractor-options: --respect-init=true
