Add test for nonlinear infeasibility