clear clauseIndex, speeds up operation, found out rebind must be called