AA: Fix possible infinite loops in Andersen.
AA: Fix handling of global variables.
AA: Handle phi nodes.
test: Split up and slightly improve functional tests.