A Pass which uses a simple logic to determine constant values and mark unreachable code regions by setting the Properties.UNREACHABLE property of an eog-edge to true.