__TITLE__
Legend

Edges

contemporaneous (solid)
lag (dashed; discharged or shift)
guarded (faded)

Boxes

Direction uses the Constants / Inputs / Internals / Outputs checkboxes. Layout is a clustered force layout (clusters are series, inputs pulled towards the top). Small graphs relayout when Cluster by or Vertical pull changes; larger graphs relayout the selected cluster with Relayout cluster. Large graphs open on a cluster overview: click a cluster or zoom in to see its statements. Click a node or edge to inspect sampled cells and canonical instance edges.