PResult combineResults(PResult delta, int[] subResults) throws AnalyzerException {
    PResult result = Identity;
    for (int subResult : subResults) {
      result = join(result, results.get(subResult));
    }
    return meet(delta, result);
  }
PResult combineResults(PResult delta, int[] subResults)