Exprent (Exprent exprent, Map<VarVersionPair, Exprent> mapVarValues) { Exprent dest = null; if (exprent.type == Exprent.EXPRENT_VAR) { VarExprent var = (VarExprent)exprent; dest = mapVarValues.get(new VarVersionPair(var)); } return dest; }