fact: Fixpoint break_expr n (e : rule_expr n) : list (rule_expr n) := match e with | L_Bot _ => [] | L_Var m => [L_Var m] | L_Join e1 e2 => break_expr e1 ++ break_expr e2 end.
imports: QuickChick.ifcbasic(Rules Machine) List