A method for constructing a binary decision diagram is provided that includes constructing a first BDD data structure operable to reflect a function associated with a target circuit, the first BDD data structure may be constructed using a first script that includes a first set of parameters such that the first BDD data structure exceeds a major threshold value. When wiring connection information representative of a connection condition of wiring lines and terminals of parts is updated, then a wiring updating detection section detects that contents of the updating relate to increase or decrease of the quantity of terminals of parts connected by a wiring line, and outputs connection increasedecrease information representative of such increasedecrease. The cylindrical lenses are longitudinally arrayed in parallel to said RGB light emitting diode structures. A series of markings on the top surface of the top section will allow an individual to properly position the stencil in relation to the drafting tool and also the item that is or will be written on by an individual. Reference-counting subsumption can also be used as a throughput enhancer in traditional reference-counting schemes that maintain up-to-date tallies of references from the stack.