ARRANGE can reference PROMELA machines as scenario source [ as of corporate 4559de02089754a9fff65aa965ee26eaff3a40a6 ]