Look for left-over dead code when *check-consistency*