Fix SAT conversion.
Make IP::add_min_consequtive_constraints more efficient.