“S_NIL_STRENGTH_2” constraint