add "_fail" to counterexample of oriented equations