This change is to implement following rules under the condition C_A and/or C_R