Positive example: Absence of subprocess relation cycles