fact: Definition testMutantX n := match nth (mutate_table default_table) n with | Some t => prop_SSNI t | _ => checker tt end.
imports: QuickChick(QuickChick) List QuickChick.ifcbasic(Machine Printing Generation Indist DerivedGen) Coq.Strings.String QuickChick(Mutate MutateCheck) ZArith