I think one could make the case that they are using a FIFO accounting method and therefore all credits spendable until the OFAC incompliant credit.