Check precendence transformation