padding of the plotting box.</p><p><code>y_pad</code> is the up/down y coordinate padding of the plotting box.</p><p><code>tfactor</code> scales the distance of the bezier control point relative to the distance of the src and dst nodes.</p><p><code>tangents</code> is the tangent of the src vertex and dst vertex.</p><p><code>show_all=true</code> explicitly plots the upstream transition from all EFMs that pass through the initial state/node <code>I</code>. By default, these arrows stemming from the green node