WYRL: following input still a problem for #274: x == 0, 0 != x + y