Symbol: NOT_SATISFY_NEXT_CONSTRAINT