Avodi statement not reachable warning.