public static Set<Set<Expr>> toSetDnf(Expr expr) {
    List<ExprList> clauses = DnfUtils.toClauses(expr);
    Set<Set<Expr>> dnf = FilterUtils.toSets(clauses);

    return dnf;
  }
 public static Expr determineFilterExpr(Quad quad, Set<Set<Expr>> dnf) {
   return DnfUtils.dnfToExpr(determineFilterDnf(quad, dnf), true);
 }