progressed the implementation of the compuation of R_m_n in FunctionToVariable.scala