Symbol: IN_RHS