Animation does not hide hidden actions.
When Building “C” and animating, I get to see action “a” although it is hidden.
A = (a -> b -> c -> A).
B = (c -> d -> B).
||C = (A || B)\{a}.
If I add
||D = C.
and animate D, it works fine (i.e., hides “a”).