Symbol: DEVI_R_CONSTRAINT