This allows static analysis tasks to be parallelized on an infinite number of nodes.
Next iteration might include: