fact: Definition prop_SSNI t : Checker := forAllShrink gen_variation_state (fun _ => nil) (SSNI t : Variation -> G QProp).
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String