Fix _extract_facts: don't fail if expr is bool
Fix issue 3633: raise if assumptions are not satisfable
Merge pull request #2394 from skirpichev/3633-inconsistent-assumptions

Fix issue 3633: inconsistent assumptions