Minor optimizations of DataProxy for AstOption.