unreachable clausule removed