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