Added transformation to rewrite function composition to associate to the right.