Conducting ownership analysis with allocation depth = 1
---------initMap(Map map)--------
Potential alias between parameter 0 and FlatNew____pacman7083___= NEW Pacman.
Potential alias between parameter 0 and FlatNew____ghost7062___= NEW Ghost.

---------next(Map map)--------
Potential alias between parameter 0 and FlatNew____pacman7202___= NEW Pacman.
Potential alias between parameter 0 and FlatNew____ghost7166___= NEW Ghost.

---------updateGhost(Map map, Ghost g)--------
No aliases between flagged objects in Task updateGhost(Map map, Ghost g).

---------moveGhost(Ghost g)--------
No aliases between flagged objects in Task moveGhost(Ghost g).

---------startup(StartupObject s)--------
No aliases between flagged objects in Task startup(StartupObject s).

---------finish(Map map)--------
No aliases between flagged objects in Task finish(Map map).

---------updatePac(Map map, Pacman p)--------
No aliases between flagged objects in Task updatePac(Map map, Pacman p).

---------movePacman(Pacman p)--------
No aliases between flagged objects in Task movePacman(Pacman p).