011_codejam: added missing invariants
012_cyclic: tweaking
working through which ones verify.