Symbol: MRS_EXACT_IF_DIFFERENT