copy_verifier_state
err = copy_verifier_state(&backedge->state, cur);
err = copy_verifier_state(new, cur);
err = copy_verifier_state(cur, &head->st);
err = copy_verifier_state(&elem->st, cur);