introduce abstract registers and map between abstract and actual