elementType = elementType.lub(resultElem.getType());
results.add(results.size(), resultElem.getValue());
}
Type resultType = TF.setType(elementType);
ISetWriter w = __eval.__getVf().setWriter();
w.insertAll(results);
// Was: return makeResult(resultType, applyRules(w.done()));
return org.rascalmpl.interpreter.result.ResultFactory.makeResult(
resultType, w.done(), __eval);
}