Disable updateFeasibleDisjuncts() on proof production mode #779

Closed omriisack closed 2 months ago