counter example traces