Fix conjecture_diverge