When animating “C”, the current state is updated incorrectly on the occurrence of the first tau transition
A = (a -> b -> c -> A). B = (c -> d -> B).
||C = (A || B)\{a}.
