Had a question, is the following LOGIC a valid "correction" for the registry auto-renew date in the Internic.net whois?

Code:

CORRECTS for Registry Renewed Expire Date:
{

if (TODAYsDATE is before EXPIREDATE) then keep EXPIREDATE

if (STATUS equals PENDINGDELETE or REDEMPTION) then keep EXPIREDATE

if (STATUS doesn't equal PENDINGDELETE or REDEMPTION) and
(TODAYsDATE is after EXPIREDATE) then minus 1 year from EXPIREDATE

}

Simplifying this, it becomes:

Code:

CORRECTS for Registry Renewed Expire Date:
{

IF (STATUS doesn't equal PENDINGDELETE or REDEMPTION) and
(TODAYsDATE is after EXPIREDATE) then minus 1 year from EXPIREDATE
OTHERWISE keep EXPIREDATE 

}

Does that body of logic correct the expiration date in all scenarios? Do any scenarios fall outside of this that anyone knows of?

~ Nexus