Execute operations on nested FPSets (init, checkFPs, checkInvariant, ...) in parallel to reduce runtime on multicore systems.
Execute operations on nested FPSets (init, checkFPs, checkInvariant,
...) in parallel to reduce runtime on multicore systems.

[Feature][TLC]
tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,lemmy/tlaplus