Fix Inst::operator< for the case where the operands are equal