Assertion list
splitter (primary) → AtLocation

Results from Ascent++: 1
splitterAtLocation the hypervisor 0.25