changes: have a better way to keep the set of reading shared variables to verify...