Add transformation priority premise