fact: Fixpoint break_scond n (c : rule_scond n) : list (rule_scond n) := match c with | A_True _ => [] | A_LE e1 e2 => List.map (fun e1' => A_LE e1' e2) (break_expr e1) | A_And c1 c2 => break_scond c1 ++ break_scond c2 | A_Or c1 c2 => [c] end.
imports: QuickChick.ifcbasic(Rules Machine) List