avoid jumping around
When a transformation succeeds, stay with the current goal rather than jumping to the earliest unproved one, which can be very far away.
When a transformation succeeds, stay with the current goal rather than jumping to the earliest unproved one, which can be very far away.