Fix for pretty printing of embedded Afuns (i.e. in Pipe and Awhile)