rfactor 583 src/Func.cpp Func Stage::rfactor(RVar r, Var v) { rfactor 587 src/Func.cpp Func Stage::rfactor(vector<pair<RVar, Var>> preserved) {