Conducting ownership analysis with allocation depth = 1
---------estimateStage(Stage s)--------
No aliases between flagged objects in Task estimateStage(Stage s).

---------sampling(Stage s)--------
No aliases between flagged objects in Task sampling(Stage s).

---------estimate(Estimator e, Stage s)--------
No aliases between flagged objects in Task estimate(Estimator e, Stage s).

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

---------prob(Estimator e)--------
No aliases between flagged objects in Task prob(Estimator e).