rewritten function trans-rhs to support function body in RHS