Reports the statements that cannot be reached.