Finished value lowering for v