‘V::N_NIL_V2’ constraint equation