Criss-crossing edges

[glaserL]

Steps to reproduce

Set program to

a(1). a(2).
b(X) :- a(X).
{c(X)} :- b(X).
{d(X)} :- c(X).
{e(X)} :- d(X).

Expected behaviour

The edges don't overlap

Actual behaviour

Some edges overlap unnecessarily