Добавлено определение arbitrary_registers для доказательства свойств при произвольных начальных регистрах