WyCS: removed redundant symmetric case for inequality closure.
This was unnecessary because it is symmetric and will be handled already.  This has slightly improved performance.