(header ((h) ihello provides) ((sut) hello_system_reply system) ((sut p) proxy component) ((sut b) bottom component))
<external>.h.hello -> ...
... -> sut.p.p.hello
sut.p.r.hello -> ...
... -> sut.b.h.hello
... <- sut.b.h.world
sut.p.<q> <- ...
... <- sut.b.h.true
sut.p.r.true <- ...
... <- sut.p.<q>
sut.p.r.world <- ...
... <- sut.p.p.world
<external>.h.world <- ...
... <- sut.p.p.true
<external>.h.true <- ...
(trail "h.hello" "h.world" "h.true")
(labels "h.hello")
(eligible "h.hello")
