add Transformation Priority Premise