I not in Reals should be True (fix #7680)
Merge pull request #7683 from skirpichev/7680-I-not-in-Reals

I not in Reals should be True