Questionable behavior of function.getName

[daniele-rapagnani]

function.getName returns the string @anonymous@ if the function has no value. It should simply return null.