assert that heur 3 assigns an existing register