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