Создание дерева вывода в graphviz

Мне нужно нарисовать дерево вывода с помощью graphvizа. Все вроде понятно, но есть одна проблема:

В моем дереве могут быть листья с одинаковыми именами:

digraph G{
E5 -> E1; 
E5 -> or; 
E5 -> E4;
E4 -> E2;
E4 -> or;
E4 -> E3;
}

На графе, в данном случае, один or и к нему идут две стрелки.

Вопрос:
Можно ли, сделать так, чтобы на графе было два элемента с одинаковыми именами, и соответственно по одной стрелке 
(вроде того как получится если назвать эти эл-ты or1 и or2)?