‘V>>V_NIL_18’ constraint equation