1 Conducting ownership analysis with allocation depth = 1
2 ---------sampling(Stage s)--------
3 No aliases between flagged objects in Task sampling(Stage s).
5 ---------estimateStage(Stage s)--------
6 No aliases between flagged objects in Task estimateStage(Stage s).
8 ---------estimate(Estimator e, Stage s)--------
9 No aliases between flagged objects in Task estimate(Estimator e, Stage s).
11 ---------startup(StartupObject s)--------
12 No aliases between flagged objects in Task startup(StartupObject s).
14 ---------prob(Estimator e)--------
15 No aliases between flagged objects in Task prob(Estimator e).