Do not add “trivial” constraints.
Count constraints in add_{max, min}_consequtive_constraints.
Fix Sum::value() without variables.
IP::save_CNF