Better support for resource-limiting when there aren't any actual conflicts.
Some fixes to symmetry breaker (resolves bug 576).