Concerning #566: Updated nl solver to new syntax