(header ((i) I provides) ((sut) determinism1 component) ((ii) I requires))
<external>.i.e -> ...
... -> sut.i.e
... <- sut.i.return
<external>.i.return <- ...
(trail "i.e" "i.return")
test/all/determinism1/determinism1.dzn:45:14: error: component is non-deterministic due to overlapping guards
test/all/determinism1/determinism1.dzn:46:14: error: component is non-deterministic due to overlapping guards
<external>.i.e -> ...
... -> sut.i.e
<non-deterministic>
test/all/determinism1/determinism1.dzn:45:14: error: component is non-deterministic due to overlapping guards
test/all/determinism1/determinism1.dzn:46:14: error: component is non-deterministic due to overlapping guards
(trail "i.e" "<non-deterministic>")
(labels "i.e")
(eligible)
