Now all the linear inequality constraints in NonlinearProgram are unilateral
Ain*x <= bin