query: Security Features/InsecureRandomness.ql
postprocess: TestUtilities/PrettyPrintModels.ql