1. A method for reducing a depth of binary decision diagram, comprising: identifying one or more less probable positive paths within the binary decision diagram, wherein the one or more less probable positive paths within the binary decision diagram include a number of decision nodes from a starting variable to a positive, binary logic “1” terminal node within the binary decision diagram; and eliminating the identified one or more less probable positive paths within the binary decision diagram.