var global_counter = 0

function uno_check(vars, state) {
  if(!state)
    state = [global_counter++, 0]
  else
    state = [state[0], state[1] + 1]
  print("state "+state)
  print(uneval(vars))
  return state
}

function path_end(state) {
  print("CFG path ended with state "+ state)
}