Besides the lack of network-manipulation functionality, the tool still has several more subtle flaws. At this time it is clear that the implementation of the sum-product algorithm in the solver is imperfect. Problems will arise when more than one variable is observed to be of some value. Currently all functions dependent on variables not observed to be of a value that are on the edge of the graph fire a message at the beginning of the solving process. In turn, each variable in the graph waits for all but one function connected to it to send a message. If more than one function connected to a single variable fail to fire a message, deadlock will appear and the solving algorithm will hang.
Another flaw of the solver is its inability to use continuous functions or even discrete functions not defined as an exhaustive list of values. As graphs get larger and contain more interconnected nodes, exhaustive lists will become prohibitively expensive and render the solver useless.
Finally, the ability to export SPICE code is limited to simple graphs with no cycles, and is even somewhat incomplete in this functionality. Work on this ceased when the inability to simulate the circuits with SPICE was realized.