Liebe bugs part1: Eor(1, Proj(Cmp)) was broken - simply remove the optimisation since...