- add comparison analysis (<., ==.) to mutually exclusion analysis.