When these elements are so distinct that they show only individual behaviour, partial symmetries, as presented in this sequence, must be used to reduce the Symbolic Reachability Graph.