[2407.04917] A Calculus for Unreachable Code