make sure each clause in the counterstrategy output is unqiue(no dublicates)