variable renaming: in the priority algorithm, environments actually means affinities