free vars in Uniquify