finding free vars