naive pruning of automorphisms