1 Conducting ownership analysis with allocation depth = 3
2 ---------AcceptConnection(ServerSocket ss)--------
3 Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
5 ---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
6 Task ProcessRequest(BankAppSocket bas, BankDatabase Bank) contains no aliases between flagged objects.
8 ---------Startup(StartupObject s)--------
9 Task Startup(StartupObject s) contains no aliases between flagged objects.