fix for parallel counterexample