Added progress output to the breaking of backward branches.