H2…/H3…_General exactly; longer lines are the verified general chain. A branch (a vertex with 3+ propagators) is also supported and verified by reduction: switching a branch off collapses it exactly to the corresponding chain. Loops (closed cycles) aren't supported.
Select a vertex to edit its legs, or a propagator label to set its bridge value.