Files
cs420/examples/simplify_cfg/reach.input.ir