Reports statements that are unreachable.