Removing threads from vm,vn verifications