“S_NIL_STRENGTH_1” constraint