Rewriting RRIF Withdrawal Rules