Pairs of nodes connected by an edge have a vertical separation constraint, requiring that the source be a minimum distance above the target. We also require that node bounding boxes cannot overlap. The unconstrained layout of the same graph looks like this.
Here's a 3D version of the same graph!