Updates.
Implemented extension to hitting-divisor.