logic implemented for variable renaming for type conflicts. Need to implement more cases