1. A program product comprising: (A) a binary coloring mechanism for assigning a binary property to circuit elements, the binary coloring mechanism including mechanisms for: a) providing a list of intrusion pairs, each of said intrusion pairs comprising a first element and a second element which intrude according to predefined rules; b) checking a net database for elements of one of said list of intrusion pairs and returning a net and a color of elements found in said net database; c) coloring said intrusion pair of elements such that said first element and said second element comprise opposite colors; d) assigning said first element and said second element to a net and adding said net to said net database; and e) performing steps b) through d) until all intrusion pairs in said list of intrusion pairs is operated upon; and (B) signal bearing media bearing the binary coloring mechanism.