Green card holders would likely be repaid upon becoming US citizens, a process that takes at least five years.