4. The method of claim 1 , wherein said one or more comparisons comprise a comparison based on one or more canonicalization operators.
4. The method of claim 1 , wherein said one or more comparisons comprise a comparison based on one or more canonicalization operators. 10. The method of claim 4 , wherein said one or more canonicalization operators comprise a variable equivalence operator.