std::vector<Variable> vars)\r
{\r
vars.insert(vars.end(), f.parameters.begin(), f.parameters.end());\r
vars.insert(vars.end(), f.body.variables.begin(), f.body.variables.end());\r
std::vector<Variable> vars)\r
{\r
vars.insert(vars.end(), f.parameters.begin(), f.parameters.end());\r
vars.insert(vars.end(), f.body.variables.begin(), f.body.variables.end());\r