Empty clause detection