The test project shown in #2266 spends about 40 seconds just validating the post conditions before doing anything. The reason is that the post condition checking in addNew seems to have at least O(n^2) run time in the depth of the graph. That's because, it recursively creates dependency tasks and but always checks invariants for the complete transitive hull.