Optional ReadonlystepsMaximum number of AST nodes to process.
Optional ReadonlytimeMaximum wall-clock time of the extraction, in milliseconds, measured from the gas contingent's start.
Optional ReadonlyverticesMaximum number of dataflow vertices to create.
The bounds of one extraction, as ReadOnlyFlowrAnalyzerGasContext.budget resolves them (already factor-scaled). A dimension the configuration leaves out arrives as
0, meaning unbounded.