AA: Implement the global (AML) part of Andersen::annotate(...).
test: Add a slightly more interesting testcase for AA.