StackIterator: Add error messaging for variable dereferences accessible by callers