for (Expression e : evaluated) {
if (e.isConstant()) {
if (e instanceof ANumber) { // 1 -> numbers
addToSelectionMap(selected, Naturals.one(), (ANumber) e);
} else if (p.matches(e)) {
addToSelectionMap(selected, c.hit(), a.hit());
} else {
addToSelectionMap(selected, e, Naturals.one());
}
}
}