8413 and 8373 related changes

See #8413 and #7950 
closes #8373 

Why this?

btw:
```
In [2]: And(S.true, S.false, evaluate=False)
Out[2]: False
```
looks as a bug.