added tests in C for one Newton step on Laurent polynomial systems