util/antichain2c_v2.hh: fix a bug in assertion

Checking for assertion violation was done in a bad way.