adjusted of12_translation_utils and of13_translation_utils to revised API for classes cofinstruction and cofinstructions