since the HSA deduction is included through the federal return the OP question becomes do they need to add back the HSA contribution since they are filing a non-resident return. it would seem that an add back is not required.
