code: public Pair<ImmutableFormulaList, CCIncrementalData> encodeIncremental(final PBConstraint cc) {
      final EncodingResult result = EncodingResult.resultForFormula(f);
      final CCIncrementalData incData = this.encodeIncremental(cc, result);
      return new Pair<>(new ImmutableFormulaList(FType.AND, result.result()), incData);
    }
docs: Encodes an incremental cardinality constraint and returns its encoding.
  @param cc the cardinality constraint
  @return the encoding of the constraint and the incremental data