Semantics Checker cache wrong transition when using shortcut symbol

[DrSensor]

Result of left and partial result of right should be same!

 A <-> B @ Toggle
 A ->> D @ Tok
+B ->> D @ Tok
 B -> D @ Tok

Although there is additional expression before B -> D @ Tok, it shouldn't matter 🤔