Ensure that machine state is correct after exection