Change translation for instructions to use a kind of stateful computation