Function splitConjunction

splitConjunction(
expression: Expression,
accumulator?: Expression[],
): Expression[]
Splits a filter expression on top level logical conjunctions (&&), implementing (SDecompI): FILTER_{R1 && R2}(A) == FILTER_R1(FILTER_R2(A)).
Parameters
- expression: Expression
  The condition to split
- accumulator: Expression[] = []
  The conjuncts collected so far, filled in by the recursion
Returns Expression[]
the conjuncts
- Defined in lib/utils/expressionHelpers.ts:17