As a corollary, we obtain a new proof of the structure from acyclicity
property for properly colored trails. (The original
proof [1]} applies Yeo's theorem to a construction
which is rather different from our EC-line graph and which does not generalize
to forbidden transitions.)
