Specialization (only IS_VAR ad IS_CV operands may be references)