VVI migrated to cyclic verification