Assumptions: is_zero: add XFAIL test for issue #7993

This was part of #7960 which was superceded, don't want it to go missing.
space around `-`, change == to 'is', otherwise +1