Test with Graph instead of Digraph.
Undirected symmetry graphs, partial evaluation, skipping fixed vars