ADSal: several bugs fixed for a case when objective value is negative