add nif constraint