fact: Definition mutate_table' (t t' : table) : list table := fold_left (@List.app table) (List.map (fun (o : OpCode) => (List.map (fun (mr : AllowModify (labelCount o)) (o' : OpCode) => helper o mr o' (t' o') ) (mutate_rule (t o))) ) opCodes) [].
imports: QuickChick.ifcbasic(Rules Machine) List