665     auto Normalized =  in getNormalizedAssociatedConstraints()  local
671                          Normalized  in getNormalizedAssociatedConstraints()
673                                  std::move(*Normalized))  in getNormalizedAssociatedConstraints()
818 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()  argument
819   if (Normalized.isAtomic())  in makeCNF()
820     return {{Normalized.getAtomicConstraint()}};  in makeCNF()
822   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
823   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
824   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Conjunction) {  in makeCNF()
847 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()  argument
848   if (Normalized.isAtomic())  in makeDNF()
849     return {{Normalized.getAtomicConstraint()}};  in makeDNF()
851   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
852   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
853   if (Normalized.getCompoundKind() == NormalizedConstraint::CCK_Disjunction) {  in makeDNF()