Add proper lower bounding to non-linear AMPL