Unreachable Code Check¶

This pass checks whether code is reachable by analyzing the control flow graph of the program. At the moment, this does not perform any kind of data flow analysis.