Implement invoke statepoint verification.