Church-Rosser_(w__identity_reduction).elf