I was under the impression that for tax purposes there's only resident alien and nonresident alien, and both US citizens and GC holders are in the resident alien category. I don't remember seeing a question specifically asking whether the filer is a US citizen, but I wanted to make sure that's the case.