Improvements to the multiplicative term sign inference.