An adaptive prefix-assignment technique for symmetry reduction

Re-assign community