don't list non-globals in modifies clause