Abstraction/Specialization of symbols now only apply transformation functions once