FunctionDecomposer::Parallel spec: bring closer to reality
FunctionDecomposer::Parallel spec: don’t DI the simplifier