867       for_vec (for_vec_), for_subst_vec (vNULL),  in simplify()
883   vec<vec<user_id *> > for_vec;  variable
966 commutate (operand *op, vec<vec<user_id *> > &for_vec)  in commutate()  argument
977       vec<operand *> v = commutate (c->what, for_vec);  in commutate()
996     ops_vector.safe_push (commutate (e->ops[i], for_vec));  in commutate()
1056 	      for (unsigned j = 0; newop && j < for_vec.length (); ++j)  in commutate()
1057 		for (unsigned k = 0; k < for_vec[j].length (); ++k)  in commutate()
1058 		  if (for_vec[j][k] == p)  in commutate()
1060 		      for_vec[j].safe_push (newop);  in commutate()
1084   vec<operand *> matchers = commutate (s->match, s->for_vec);  in lower_commutative()
1088 				   s->for_vec, s->capture_ids);  in lower_commutative()
1204 				   s->for_vec, s->capture_ids);  in lower_opt()
1305 				   s->for_vec, s->capture_ids);  in lower_cond()
1434   vec<vec<user_id *> >& for_vec = sin->for_vec;  in lower_for()  local
1443   for (int fi = for_vec.length () - 1; fi >= 0; --fi)  in lower_for()
1445       vec<user_id *>& ids = for_vec[fi];  in lower_for()