Discuss unreachable instructions.
Define reachability formally.
State that AST-to-MIR eliminates some unneeded closures.