012_cyclic: hmmm, there's a bug in the verifier somewhere ...