Even if the accessor is complex, if you know that this accessor does not write anything, we should annotate it as read(DOM). I'm targetting Element#id now.