Use std::vector<Var> for Func::reorder()