SI-8625 fix unreachability analysis for boolean expressions