adjusted of12_translation_utils and of13_translation_utils to revised API for classes cofinstruction and cofinstructions
Merge branch 'akoepsel/devel-0.5/working' into devel-0.5