Currently the analyzer and the UI code are mixed making it hard to understand the propagation algorithm. We should try to separate these concepts.
Currently the analyzer and the UI code are mixed making it hard to understand the propagation algorithm. We should try to separate these concepts.