Fix pr25040 - Handle vectors of i1s in recently added implication code