Fixed alpha_equivalence to rename variables according to their relative positions.