852 using NormalForm =  typedef
855 static NormalForm makeCNF(const NormalizedConstraint &Normalized) {  in makeCNF()
859   NormalForm LCNF = makeCNF(Normalized.getLHS());  in makeCNF()
860   NormalForm RCNF = makeCNF(Normalized.getRHS());  in makeCNF()
869   NormalForm Res;  in makeCNF()
873       NormalForm::value_type Combined;  in makeCNF()
884 static NormalForm makeDNF(const NormalizedConstraint &Normalized) {  in makeDNF()
888   NormalForm LDNF = makeDNF(Normalized.getLHS());  in makeDNF()
889   NormalForm RDNF = makeDNF(Normalized.getRHS());  in makeDNF()
898   NormalForm Res;  in makeDNF()
902       NormalForm::value_type Combined;  in makeDNF()
915 static bool subsumes(NormalForm PDNF, NormalForm QCNF,  in subsumes()
957   const NormalForm PDNF = makeDNF(*PNormalized);  in subsumes()
962   const NormalForm QCNF = makeCNF(*QNormalized);  in subsumes()
1039     const NormalForm DNF1 = makeDNF(*Normalized1);  in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1040     const NormalForm CNF1 = makeCNF(*Normalized1);  in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1045     const NormalForm DNF2 = makeDNF(*Normalized2);  in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()
1046     const NormalForm CNF2 = makeCNF(*Normalized2);  in MaybeEmitAmbiguousAtomicConstraintsDiagnostic()