Merge pull request #7861 from skirpichev/oo-ineq

Refactor processing of inequalities with oo
Deprecate set.is_real property, use set.is_subset(Reals) instead

fixes #6212