== Memory Analysis ==

=== Definitions ===
1. memory unit: `mu = (dyscopeID, variableID, reference, access)`
   A memory unit `mu` is referring to a certain region of a variable, which is defined by a dyscopeID and a variable ID. A `mu` has an access attribute which denotes whether the it is writable by a given process.