‘V^^SML_NIL_3’ constraint equation