Set<VarVersionPair> (Exprent exprent) { Set<VarVersionPair> res = new HashSet<>(); List<Exprent> listTemp = new ArrayList<>(exprent.getAllExprents(true)); listTemp.add(exprent); for (Exprent expr : listTemp) { if (expr.type == Exprent.EXPRENT_VAR) { VarExprent var = (VarExprent)expr; res.add(new VarVersionPair(var)); } } return res; }