improved Church-Rosser diagram