Ensure get_free_vars() doesn't return duplicates.