Fix tests (broken by UTF-8 support): duplicate instructions for conditions and named definitions.