Some fixes to symmetry breaker (resolves bug 576).