Assertion list
bifurcation (primary) → AtLocation
Results from Ascent++: 1
bifurcation → AtLocation → tree forks 0.25