Blarg at inequality checks in tt++