FIXME: Spawn new tasks for non-dominated paths

This results in a race condition, which causes a segfault when
destructing the graph. Strange, because 1. the graph is immutable, and
2. all tasks should have finished running in the destructor.