Variable randomnessAnalysisConst

randomnessAnalysis: TaintAnalysisDefinition<
    "randomness",
    FiniteDomain<
        typeof Top,
        typeof Bottom,
        [typeof Top, typeof Bottom, typeof Random, typeof Deterministic],
    >,
    AbsintVisitorConfiguration,
> = ...