(I'm surprised there isn't a Phab project for this extension, since it's deployed on several WMF sites.)
DisableAccount selects user groups directly from the user_groups table, without accounting for whether or not the user group memberships have expired. See the parent task for how these queries might be updated.