20. The method of claim 19 wherein said step of generating said plurality of global attributes comprises the steps of: c5) identifying a plurality of test nodes in a present domain; and c6) creating a truth attribute for each test node identified in step c5.
19. The method of claim 18 wherein said step of generating said plurality of global attributes comprises the steps of: c3) identifying a plurality of solution nodes in a present domain; and c4) creating a solution list attribute wherein said solution nodes identified in step c3 are possible values for said solution list attribute.