superfluous clause check