Refactor processing of inequalities with oo/-oo, fixes #7775

+1: In general, calling C.StrictLessThan seems like a good idea for fixing #7783!