Seol mar théacs é seo: Nonblocking supervisory control of state tree structures