Preliminary elimination of the all-fail rules
Argh. Why does it not work? Adding some debugging helpers.