* @throws SpeedoException
*/
private void replaceFieldsInExpression(Expression e, Map old2newElement)
throws SpeedoException {
if (e instanceof FieldOperand) {
FieldOperand fo = (FieldOperand) e;
Field old = fo.getField();
Field neo = (Field) old2newElement.get(old);
if (neo != null && old != neo) {
((FieldOperand) e).setField(neo);
}
} else if (e instanceof Operator) {