Negative example: Absence of subprocess relation cycles