Null
    static RecordExhaustivenessResult createExhaustiveResult() {
      return new RecordExhaustivenessResult(true, true);
    }

  
Null
    static RecordExhaustivenessResult createExhaustiveResult() {
 