Reduce default conjecture_equal count