fact: Definition prop_SSNI_derived t : Checker := forAllShrink gen_variation_state_derived (fun _ => nil) (fun mv => match mv with | Some v => SSNI t v | _ => checker tt end).
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String