AA: More TODO for constraint creation.
AA: Track calls, returns and heap (malloc) memory.
AA: Create AMLs for global variables.
test: Improve test code slightly.
test: Use divine verify -p poinsto to check AA results.