New `unrecheable code` inspection does not work properly with `s()`

[KhadanovichSergey]

Unreacheable code inspection analizes code statically and emits warning that any code after s() call is not reacheable.