[IPVS] Proper preconditions.