SI-8625 fix unreachability analysis for boolean expressions
Merge pull request #3794 from lrytz/t8625

SI-8625 fix unreachability analysis for boolean expressions