Note that the code was written with f being a variable or a list of variable
in mind (the documentation says so, and we even convert f into a list right
after the assert).