`Failed to apply rule ~(z::_isone) * ~x => ~x` and `TypeError: non-boolean (Term{Bool}) used in boolean context`

[contradict]

Example code and stack trace in this gist.

[contradict]

This is fixed on master, I think I must not have been using an up-to-date version.