You're exactly right - problem is, they didn't get an honorable discharge.  Instead, they chose to become criminals - thus - after their prison time, they were deported.  Sounds like solid public policy to me.