1 Conducting ownership analysis with allocation depth = 1
2 ---------processPage(Query q, QueryList ql)--------
3 No aliases between flagged objects in Task processPage(Query q, QueryList ql).
5 ---------requestQuery(Query q)--------
6 No aliases between flagged objects in Task requestQuery(Query q).
8 ---------readResponse(Query q)--------
9 No aliases between flagged objects in Task readResponse(Query q).
11 ---------Startup(StartupObject s)--------
12 No aliases between flagged objects in Task Startup(StartupObject s).