Anfonwch hwn fel neges destun: Nonblocking supervisory control of state tree structures