Small abduction rule fixes

Cosmo found this at #777
Might affect #782 ... or not.  It doesn't change the output for me.