fact: Definition mutate_scond n (c : rule_scond n) : list (rule_scond n) := let cs := (break_scond c) in match cs with | nil => [] | _ => List.map (@and_sconds n) (drop_each cs) end.
imports: QuickChick.ifcbasic(Rules Machine) List