Dancing through the optree for this information's a tricky thing, as a fair amount of information may be lost by the time we look for context. I was also thinking more in terms of syntactic clues--how can the parser look at the source and determine that something should be an iterator or not? If we can't tell syntactically, then it's likely not safe to be doing.