Open ptal opened 9 years ago
In when {x = 0} -> next {x != z}, a sequential edge between when {x = 0} and next {x != z} is created and only have a temporal edge inside, it could be compacted.
when {x = 0} -> next {x != z}
when {x = 0}
next {x != z}
In
when {x = 0} -> next {x != z}, a sequential edge betweenwhen {x = 0}andnext {x != z}is created and only have a temporal edge inside, it could be compacted.