fact: Definition mutate_expr n (e : rule_expr n) : list (rule_expr n) := let es := (break_expr e) in match es with | nil => [] | _ => List.map (@join_exprs n) (drop_each es) end.
imports: QuickChick.ifcbasic(Rules Machine) List