After a message in the graphviz mail list I've found that's at least possible to remove the E -> C and C -> F overlapping problem.
The simplest solution is to use a compass point port:
C:e -> F [constraint=false]
-- Emden
Davy Landman
2009-10-07 09:28:05