we now for induction variables by checking if variables are only assigned in loop headers
hopefully found a suitable cpu solver for nw