I'm a bit confused regarding the relation between trace equivalence and bisimilarity. These lecture notes I found and a few others documents I've read state that "if an LTS is deterministic then two states are bisimilar if they are trace equivalent".
When reading around the topic I found this page, which shows the following image:
These LTS' are trace equivalent and deterministic(?), why does the rule not hold that they are then bisimilar?