Test.StateMachine.Internal.Parallel
generateParallelProgram
shrinkParallelProgram
validParallelProgram
executeParallelProgram
linearise
toBoxDrawings