Our Apron analysis should also work for variables that have their address taken.

This entails the following

• Handling of escapes
• Resolving acceses via the base analysis
• Handling of variables that need to be updated weakly