Stronger parameter checks in runFsmThreads