, they are always executed [...] , they are always executed
is always TRUE ,
does not always make sense
fork and is always
to the same transition are always