Verified virtual registers and next use