The tool must provide the independence assumptions that are sufficient to enable the computed DAL allocation