ngle node, to thereby form a simplified graphical model; (iv) further reducing said simplified graphical model by preprocessing to temporarily remove leaves, loops, and zig-zags, wherein a leaf is a segment between a node and an edge, a loop is a segment originating and terminating at the same node, and a zig-zag is a combination of two segments originating at the same node and terminating at the