Fixes abduction rule
Merge pull request #799 from williampma/abduction

Small abduction rule fixes