public int getVarFinal(VarVersionPair pair) {
    Integer fin = typeProcessor.getFinalVariables().get(pair);
    return fin == null ? VarProcessor.VAR_FINAL : fin;
  }
public int getVarFinal(VarVersionPair pair)