Of course there will be bugs. But they won't be caused by the system NOT updating the variable when it should be. But it is still up to the programmer to create a valid reactive graph.

> you have no idea how these two variables are connected

Simply traverse the reactive graph to reveal how/if two variables affect each other.

Cycles and dynamically changing bindings are still problems, but they can be tackled.