fix possible bug; we only increase nr_additional_constraints by 1 if we are not dealing with bridgeless inequalities