backtracking strategy for computation of R_m_n in FuncitonToVariable edge